HoTT Alternatives

Similar projects and alternatives to HoTT based on common topics and language

  • GitHub repo cubical

    An experimental library for Cubical Agda

  • GitHub repo hott3

    HoTT in Lean 3

  • Scout APM

    Scout APM: A developer's best friend. Try free for 14-days. Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.

  • GitHub repo cubicaltt

    Experimental implementation of Cubical Type Theory

  • GitHub repo plt

    λΠ Programming Language Theory

  • GitHub repo lean

    Lean Theorem Prover (by leanprover)

  • GitHub repo Formality

    A modern proof language

  • GitHub repo Agda

    Agda is a dependently typed programming language / interactive theorem prover.

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

NOTE: The number of mentions on this list indicates mentions on common posts. Hence, a higher number means a better HoTT alternative or higher similarity.

Suggest an alternative to HoTT


Posts where HoTT has been mentioned. We have used some of these posts to build our list of alternatives and similar projects - the last one was on 2021-06-23.
  • Homotopy Type Theory | 2021-06-23
    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? | 2021-04-01
    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.


Basic HoTT repo stats
14 days ago

HoTT/HoTT is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.