Alternatives and similar repositories for proof-assistant:

Users that are interested in proof-assistant are comparing it to the libraries listed below

• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆62Updated last year
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆66Updated last year
• IPDSnelting / tba-2021
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
  ☆50Updated 3 years ago
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• leanprover-community / lean4web
  The Lean 4 web editor
  ☆85Updated 2 weeks ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated this week
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆44Updated 3 years ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆75Updated last year
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆61Updated 7 months ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆93Updated last year
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆112Updated 5 months ago
• formalabstracts / formalabstracts
  ☆162Updated 5 years ago
• ImperialCollegeLondon / group-theory-game
  Building group theory from scratch in Lean
  ☆59Updated 4 years ago
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆27Updated 3 years ago
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆64Updated 2 years ago
• leanprover / verso
  Lean documentation authoring tool
  ☆150Updated this week
• UCSD-PL / proverbot9001
  ☆40Updated 2 months ago
• leanprover / vscode-lean
  Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…
  ☆115Updated 7 months ago
• zhangir-azerbayev / lean-chat
  ☆49Updated 2 years ago
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆39Updated 3 weeks ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 4 months ago
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆42Updated 3 years ago
• proof-tree-builder / proof-tree-builder.github.io
  A web-based graphical proof assistant for LK and Hoare logic.
  ☆34Updated 2 years ago
• pitmonticone / LeanProject
  Template for blueprint-driven formalization projects in Lean.
  ☆45Updated last week
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆97Updated last year
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆150Updated 2 weeks ago
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆96Updated 6 months ago
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆122Updated 7 months ago
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• dwrensha / tryAtEachStep
  Try a tactic at each step in a Lean proof.
  ☆25Updated 3 weeks ago