|13 days ago||2 days ago|
|GNU General Public License v3.0 or later||GNU General Public License v3.0 only|
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Homotopy Type Theory
3 projects | news.ycombinator.com | 23 Jun 2021
HoTT is somewhat independent of the choice of proof assistant.
idk what you mean by "blue screened", or results being on the way. afaict most of the non-foundational work present (what I assume you mean by "results") in these libraries are basic properties of basic mathematical concepts being rebuilt on HoTT.
What is the benefit of using a text editor like MikTex, Texmaker, etc. over Overleaf?
1 project | reddit.com/r/LaTeX | 1 Apr 2021
The major one for me is version control (git). Imaging having to write a book like HoTT without having revisions and easy way to work on your changes without interfering with anyone else's work and then easily merging everything together.
What are some examples of non-trivial proofs written in Agda that I might read?
1 project | reddit.com/r/agda | 2 Oct 2021
What are some alternatives?
lean - Lean Theorem Prover
cubical - An experimental library for Cubical Agda