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

Other

coq-100-theorems

MIT License

Neovim support for the Lean theorem prover

lean.nvim

Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]

coqtail-math

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. 

GNU Lesser General Public License v2.1

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

BSD 2-Clause "Simplified" License

coq-ext-lib

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

Strike

A separation axis theorem collision library for Haxe.

differ

Artificial intelligence/machine learning data structures and Swift algorithms for future iOS development. bayes theorem, neural networks, and more AI.