interactive-theorem-proving topic
List
interactive-theorem-proving repositories
agda-ring-solver
38
Stars
4
Forks
Watchers
A fast, easy-to-use ring solver for agda with step-by-step solutions
coq-lsp
132
Stars
28
Forks
Watchers
Visual Studio Code Extension and Language Server Protocol for Coq
cicada-solo
125
Stars
5
Forks
Watchers
Cicada Language (solo version)
proofs
286
Stars
11
Forks
Watchers
My personal repository of formally verified mathematics.
abella
88
Stars
17
Forks
Watchers
An interactive theorem prover based on lambda-tree syntax
Isabelle-HoTT
34
Stars
4
Forks
Watchers
An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
cicada-plct
91
Stars
6
Forks
Watchers
Cicada Language (PLCT little team)
LeanInk
56
Stars
15
Forks
Watchers
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
PSL
63
Stars
9
Forks
Watchers
slate
23
Stars
1
Forks
Watchers
The Slate Interactive Theorem Prover