|
|
C |
12 |
A proof assistant. |
Feb 10, 2022 |
|
|
C |
4 |
A proof assistant. |
Oct 19, 2021 |
|
|
Java |
601 |
The Arend Proof Assistant |
Jul 30, 2022 |
|
|
Haskell |
5 |
A simple proof assistant |
Sep 30, 2021 |
|
|
Scala |
13 |
Proof assistant for qRHL |
Apr 02, 2023 |
|
|
C++ |
2 |
Advanced Mathematics Proof Assistant |
May 28, 2023 |
|
|
Java |
47 |
Educational Proof Assistant for Type Theory |
Apr 21, 2023 |
|
|
JavaScript |
13 |
Proof assistant for Typographical Number Theory |
Nov 21, 2021 |
|
|
Haskell |
32 |
A small NuPRL style proof assistant |
Dec 23, 2022 |
|
|
Haskell |
6 |
Sequent calculus based proof assistant for ILL |
May 16, 2020 |
|
|
OCaml |
15 |
A bare-bones LCF-style proof assistant |
May 15, 2022 |
|
|
C++ |
2 |
Simple Proof Assistant: helps you prove theorems. |
Dec 22, 2017 |
|
|
Coq |
2 |
My proofs for the Coq proof assistant |
Aug 23, 2021 |
|
|
Coq |
13 |
PostScript programming in the Coq proof assistant |
Mar 30, 2023 |
|
|
JavaScript |
4 |
Visual interactive proof assistant for propositional logic |
Sep 29, 2022 |
|
|
Coq |
2 |
Messing around with the Coq proof assistant |
Aug 13, 2023 |
|
|
OCaml |
9 |
Dependently typed lambda calculus - A Simple Proof Assistant |
Jun 04, 2022 |
|
|
Java |
3 |
mmj2 GUI Proof Assistant for the Metamath project |
May 13, 2020 |
|
|
Java |
60 |
mmj2 GUI Proof Assistant for the Metamath project |
Aug 07, 2022 |
|
|
OCaml |
44 |
Python bindings for the Coq interactive proof assistant |
Mar 17, 2023 |
|
|
Go |
183 |
Official proof decentralized exchange matching engine |
Oct 14, 2022 |
|
|
None |
39 |
Official Repository for the Proof API |
Jul 06, 2022 |
|
|
Shell |
637 |
Official Zigbee2MQTT Home Assistant add-on |
May 06, 2023 |
|
|
Rust |
4 |
A dependently-typed lisp and proof assistant [IN DEVELOPMENT] |
Jun 08, 2022 |
|
|
Rust |
11 |
A proof assistant that is also a programming language. |
Aug 06, 2022 |
|
|
OCaml |
220 |
Proof assistant based on the λΠ-calculus modulo rewriting |
May 05, 2023 |
|
|
Haskell |
41 |
Experimental proof assistant (and architecture) for dependent linear logic |
May 12, 2023 |
|
|
Coq |
20 |
Binary logical relations library for the Coq proof assistant |
Apr 09, 2023 |
|
|
TypeScript |
4 |
Visual Studio Code Extension(s) for rzk proof assistant. |
Jun 20, 2023 |
|
|
None |
2 |
GitHub Action to check formalisations using rzk proof assistant. |
Dec 10, 2023 |
|
|
C |
3 |
Net-SNMP (not official) |
Nov 13, 2015 |
|
|
None |
2 |
Jose's tests, not official! |
Jun 14, 2023 |
|
|
Python |
75 |
Proof-of-concept Nvim GUI. Not maintained. |
Jul 13, 2022 |
|
|
JavaScript |
53 |
Official repository for the Proof CryptoDollar contracts |
Jul 06, 2022 |
|
|
Python |
2 |
Digital Assistant using Python. (Not machine learning) |
Jun 23, 2022 |
|
|
Coq |
4 |
A formalization of IO automata in the Coq proof assistant |
Jun 09, 2021 |
|
|
Scala |
18 |
Proof assistant based on first-order logic and set theory |
Apr 06, 2023 |
|
|
TypeScript |
47 |
Visual Studio Code extension for the Lean 4 proof assistant |
Aug 01, 2022 |
|
|
Coq |
18 |
My solutions to Software Foundations course in Coq proof assistant. |
May 03, 2023 |
|
|
Haskell |
15 |
Term project for TaPL. A mini coq-like proof assistant. |
Apr 29, 2023 |
|
|
Haskell |
2 |
Experimental (and basic) proof assistant with absolutely **no** elegant features. |
Sep 11, 2022 |
|
|
HTML |
2 |
Guide on how to use the matamath-lamp proof assistant |
Jun 23, 2023 |
|
|
Python |
4 |
tgEasy's Official Assistant Bot and Example Bot |
Jun 07, 2022 |
|
|
JavaScript |
2 |
maybe it's not that hard (proof of concept) |
Oct 01, 2020 |
|
|
C |
15 |
A not noob-proof ARM9LoaderHax installer for 3DS |
Jan 09, 2020 |
|
|
None |
2 |
Do not use. Currently, only proof of concept. |
Jan 16, 2023 |
|
|
Swift |
2 |
Official proof of concept DApp using Pocket Network |
Jul 09, 2019 |
|
|
Go |
38 |
AMP: Official repository for the Proof decentralized exchange |
Sep 29, 2022 |
|
|
OCaml |
3 |
Documentation for atdgen |
Nov 02, 2020 |
|
|
OCaml |
3 |
Investigating incomplete OCaml stack backtraces |
Nov 02, 2020 |