2D Collision Detection for Lua using the Separating-Axis Theorem

Lua23mit

8 months ago

2d-game-frameworkcollision-detectionlove2d

Ada binding to the Z3 Theorem Prover

Ada6mit

2 years ago

Formal proof of the Four Color Theorem [maintainer=@ybertot]

Coq135other

6 months ago

coqcoq-cifour-color-theorem

Formal proof in Coq of Puiseux's Theorem.

Coq4other

2 years ago

A theorem prover based on the conflict resolution calculus

Scala5other

3 years ago

A separation axis theorem collision library for Haxe.

Haxe160mit

4 years ago

The formal proof of the Odd Order Theorem

Coq23

6 months ago

coqfeit-thompson-theoremmathcomp

Artificial intelligence/machine learning data structures and Swift algorithms fo

Swift332mit

7 years ago

neural-networkswiftswift-brain

Statements of famous theorems proven in Coq [maintainer=@jmadiot]

HTML50other

10 months ago

coqtheorems

Coqtail is a library of mathematical theorems and tools proved inside the Coq pr

Coq13other

last year

complex-analysiscoqreal-analysis

Coq is a formal proof management system. It provides a formal language to write

OCaml4576lgpl-2.1

last month

coqdependent-typesproof-assistant

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

Coq121bsd-2-clause

6 months ago

coqcoq-cicoq-platform

2D Collision Detection for Lua using the Separating-Axis Theorem

Lua23mit

8 months ago

2d-game-frameworkcollision-detectionlove2d

Formal proof of the Four Color Theorem [maintainer=@ybertot]

Coq135other

6 months ago

coqcoq-cifour-color-theorem

Formal proof in Coq of Puiseux's Theorem.

Coq4other

2 years ago

A separation axis theorem collision library for Haxe.

Haxe160mit

4 years ago

neovim support for the Lean theorem prover

Lua187mit

3 months ago

leanlean4leanprover

The formal proof of the Odd Order Theorem

Coq23

6 months ago

coqfeit-thompson-theoremmathcomp

Artificial intelligence/machine learning data structures and Swift algorithms fo

Swift332mit

7 years ago

neural-networkswiftswift-brain

The Z3 Theorem Prover

C++9744other

2 days ago

Statements of famous theorems proven in Coq [maintainer=@jmadiot]

HTML50other

10 months ago

coqtheorems

Coqtail is a library of mathematical theorems and tools proved inside the Coq pr

Coq13other

last year

complex-analysiscoqreal-analysis

Coq is a formal proof management system. It provides a formal language to write

OCaml4576lgpl-2.1

last month

coqdependent-typesproof-assistant

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

Coq121bsd-2-clause

6 months ago

coqcoq-cicoq-platform