Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for mathematics theorem proving
mathematics
x
theorem-proving
x
5 search results found
Certigrad
⭐
346
Bug-free machine learning on stochastic computation graphs
Provingground
⭐
180
Proving Ground: Tools for Automated Mathematics
Set Theory
⭐
54
Coq encoding of ZFC and formalization of the textbook Elements of Set Theory
Category Theory
⭐
18
sometimes math is just too much fun
Maps Coloring Python
⭐
8
Four color theorem, Guthrie, Kempe, Tait and other people and stuff
Orbital
⭐
7
Orbital Library
Math O Matic
⭐
6
Computerized proof system on the web
Related Searches
Python Mathematics (1,529)
Javascript Mathematics (1,108)
Mathematics Algebra (360)
Typescript Mathematics (274)
Jupyter Notebook Mathematics (216)
Graph Mathematics (144)
Machine Learning Mathematics (142)
Haskell Mathematics (86)
Mathematics Sage (29)
Mathematics Graph Theory (29)
1-5 of 5 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.