Ring, field, lra, nra, and psatz tactics for Mathematical Components

Coq28

6 months ago

coqelpimathcomp

Coq plugin providing tactics for rewriting universally quantified equations, mod

OCaml29other

6 months ago

coqcoq-cicoq-platform

Automated Tactics Techniques & Procedures

Python244

11 months ago

cybersecurityempirepowershell

A Coq library providing tactics to deal with hypothesis

Coq18mit

5 months ago

coqformal-proofshypothesis

Micromega tactics for Mathematical Components

Coq21

6 months ago

coqmathcompproof-automation

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liy

Coq121bsd-2-clause

6 months ago

coqcoq-cicoq-platform

A comprehensive Domain-Driven Design example with problem space strategic analys

Java4046mit

10 months ago

aggregateaggregate-rootarchunit

A tactical space combat game

C++99lgpl-3.0

21 days ago

antaresc-plus-plusgame

😠⚔️😈 A minimalistic 2D turn-based tactical game in Rust

Rust1364apache-2.0

2 months ago

2dandroidcircleci

A generic goal preprocessing tool for proof automation tactics in Coq

Prolog12lgpl-3.0

last year

mobile app for tactical comms on protest marches

Scala38other

9 years ago