Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 4 Mathematics Proof Assistant Open Source Projects

Open source projects categorized as Mathematics Proof Assistant
Categories > Mathematics > Mathematics
Categories > Programming Languages > Proof Assistant
Latte ⭐ 245
LaTTe : a Laboratory for Type Theory experiments (in clojure)
total releases 14most recent commit 5 months ago
Homotopy Rs ⭐ 54
A Rust/WASM implementation of homotopy.io
most recent commit 3 months ago
Prooftoys ⭐ 9
Interactive, web-based visual math assistant
most recent commit 3 months ago
Math O Matic ⭐ 6
Computerized proof system on the web
most recent commit 8 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.