Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Ground_zero

Ground Zero: Lean 4 HoTT Library
Stars
23
License
apache-2.0
Open Issues
0
Most Recent Commit
5 months ago
Programming Language
Lean
Categories
Repo
Alternatives To Ground_zero
Select To Compare
Manim ⭐ 18,819
A community-maintained Python framework for creating mathematical animations.
dependent packages 45total releases 28most recent commit a month agopypi manim} Downloads
Katex ⭐ 17,588
Fast math typesetting for the web.
dependent packages 1,174total releases 75most recent commit 2 months agonpm katex} Downloads


Suggest An Alternative To ground_zero
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Related Searches
Mathematics Lean
Lean Leanprover
Mathematics Leanprover
Cubical Type Theory Hott
Mathematics Homotopy Type Theory
Mathematics Hott
Lean Hott
Homotopy Type Theory Hott

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Mathematics
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.