Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 10 Formal Mathematics Open Source Projects

Open source projects categorized as Formal Mathematics
Categories > Formal Mathematics
Mathlib ⭐ 1,463
Lean mathematical components library
most recent commit 5 hours ago
Principia ⭐ 162
The Principia Rewrite
most recent commit a year ago
Slate ⭐ 17
The Slate Interactive Theorem Prover
most recent commit 4 months ago
Lean Matrix Cookbook ⭐ 8
The matrix cookbook, proved in the Lean theorem prover
most recent commit 2 days ago
Vstyle ⭐ 7
A style guide for Coq
most recent commit a year ago
Lean Matroids ⭐ 2
matroids in lean
most recent commit 2 years ago
Mai ⭐ 2
mai: MAth Interpreter with standard foundations
most recent commit 3 months ago
Natural Number Game Solutions ⭐ 1
Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive + automated theorem prover developed by Microsoft Research called Lean.
most recent commit a year ago
Lean Graded Rings ⭐ 1
A formalization of graded rings in Lean, corresponding to a CICM 2022 submission
most recent commit 6 months ago
Slate Hlm ⭐ 1
HLM mathematical library for the Slate interactive theorem prover
most recent commit 5 months ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2023 Awesome Open Source.  All rights reserved.