Here are
167 public repositories
matching this topic...
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Updated
Aug 22, 2024
OCaml
A Proof-oriented Programming Language
Agda is a dependently typed programming language / interactive theorem prover.
Updated
Aug 26, 2024
Haskell
An introduction to programming language theory in Agda
Updated
Jul 29, 2024
Agda
A port of Coq to Javascript -- Run Coq in your Browser
Updated
Nov 13, 2023
TypeScript
This repo is the new home of Proof General
Updated
Aug 6, 2024
Emacs Lisp
Verified Software Toolchain
Links to tools by subject
A Coq IDE build on top of Proof General's Coq mode
Updated
Feb 3, 2023
Emacs Lisp
Verification framework and tool for higher-order Scala programs
Updated
Aug 26, 2024
Scala
My personal repository of formally verified mathematics.
A proof assistant and a dependently-typed language
Updated
Aug 15, 2024
Java
Proof assistant based on the λΠ-calculus modulo rewriting
Updated
Aug 2, 2024
OCaml
Interactive Coq Proofs in Vim
Updated
Aug 23, 2024
Python
LaTTe : a Laboratory for Type Theory experiments (in clojure)
Updated
Nov 29, 2023
Clojure
The People's Refinement Logic
Updated
Jan 1, 2023
Standard ML
Updated
Oct 21, 2023
OCaml
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
Updated
Mar 25, 2022
OCaml
An experimental proof assistant based on a type theory for synthetic ∞-categories.
Updated
Aug 18, 2024
Haskell
A Super Kawaii Dependently Typed Programming Language
Updated
Jul 12, 2018
Haskell
Improve this page
Add a description, image, and links to the
proof-assistant
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
proof-assistant
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.