proof-assistant
Here are 162 public repositories matching this topic...
[WIP] A formalised proof of a generalised Carleson's Theorem in the Lean proof assistant.
-
Updated
May 28, 2024 - TeX
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
May 28, 2024 - OCaml
A Proof-oriented Programming Language
-
Updated
May 28, 2024 - F*
Agda is a dependently typed programming language / interactive theorem prover.
-
Updated
May 28, 2024 - Haskell
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
-
Updated
May 28, 2024 - OCaml
Índice de repositorios.
-
Updated
May 28, 2024 - HTML
A Rust/WASM implementation of homotopy.io
-
Updated
May 27, 2024 - Rust
Verification framework and tool for higher-order Scala programs
-
Updated
May 27, 2024 - HTML
An introduction to programming language theory in Agda
-
Updated
May 27, 2024 - Agda
A human-friendly and developer-friendly math proof assistant
-
Updated
May 26, 2024 - Python
Verified Software Toolchain
-
Updated
May 26, 2024 - Coq
A formalised proof of Fermat's Last Theorem for exponent 3 in the Lean proof assistant.
-
Updated
May 23, 2024 - TeX
Proof assistant based on the λΠ-calculus modulo rewriting
-
Updated
May 17, 2024 - OCaml
An experimental proof assistant based on a type theory for synthetic ∞-categories.
-
Updated
May 28, 2024 - Haskell
This repo is the new home of Proof General
-
Updated
May 13, 2024 - Emacs Lisp
My personal repository of formally verified mathematics.
-
Updated
May 13, 2024 - Coq
An editor of first-order resolution proofs (refutations)
-
Updated
May 7, 2024 - JavaScript
Dedukt is an open source project of software for mathemaical practice using computers. The main goal is to develop a user firendly, intelligent system for mathematics, proof, new mathematical developments, and also symbolic computation. It can be used by mathematicians and people in sciences.
-
Updated
Apr 26, 2024 - TeX
Improve this page
Add a description, image, and links to the proof-assistant topic page so that developers can more easily learn about it.
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."