hott3 VS Leantime

Compare hott3 vs Leantime and see what are their differences.

hott3

HoTT in Lean 3 (by gebner)
hott Lean
Source Code
Suggest alternative
Edit details

Leantime

Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind. (by Leantime)
Software Development Project Management PHP SQL Kanban Gantt Timesheets Calendar Agile Retrospective Lean Scrum HacktoberFest Projects Asana Notion Trello clickup leantime Jira Strategy
Source Code
leantime.io
Suggest alternative
Edit details
InfluxDB
Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors
hott3 Leantime
2 49
72 4,059
- 4.1%
1.8 9.9
over 3 years ago 3 days ago
Lean PHP
Apache License 2.0 GNU Affero General Public License v3.0
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.

hott3

Posts with mentions or reviews of hott3. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-12-11.
  • The HoTT Game
    2 projects | news.ycombinator.com | 11 Dec 2021
    Lean 3 introduced singleton-elimination which is inconsistent with HoTT. There's a project [0] that uses an attribute to restrict uses of that rule, but it isn't really ergonomic to use.

    [0] https://github.com/gebner/hott3

  • Homotopy Type Theory
    3 projects | news.ycombinator.com | 23 Jun 2021
    HoTT is somewhat independent of the choice of proof assistant.

    Coq: https://github.com/HoTT/HoTT

    Lean: https://github.com/gebner/hott3

    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.

Leantime

Posts with mentions or reviews of Leantime. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-10-10.