Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 7 Mathematics Theorem Proving Open Source Projects

Open source projects categorized as Mathematics Theorem Proving
Categories > Mathematics > Mathematics
Categories > Mathematics > Theorem Proving
Certigrad ⭐ 346
Bug-free machine learning on stochastic computation graphs
most recent commit 5 years ago
Provingground ⭐ 180
Proving Ground: Tools for Automated Mathematics
dependent packages 1total releases 1most recent commit 3 years ago
Set Theory ⭐ 54
Coq encoding of ZFC and formalization of the textbook Elements of Set Theory
most recent commit 3 years ago
Category Theory ⭐ 18
sometimes math is just too much fun
most recent commit 9 years ago
Maps Coloring Python ⭐ 8
Four color theorem, Guthrie, Kempe, Tait and other people and stuff
most recent commit 2 years ago
Orbital ⭐ 7
Orbital Library
most recent commit 7 years ago
Math O Matic ⭐ 6
Computerized proof system on the web
most recent commit 7 months ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Categories
Privacy | About | Terms | Follow Us On Twitter

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

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