8 results found Sort:
- Filter by Primary Language:
- Lean (2)
- OCaml (2)
- TypeScript (2)
- Coq (1)
- Isabelle (1)
- +
My personal repository of formally verified mathematics.
Created
2017-07-04
1,410 commits to main branch, last one about a month ago
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
Created
2019-02-08
1,730 commits to main branch, last one 3 days ago
Cicada Language (solo version)
Created
2021-03-28
6,372 commits to master branch, last one 3 months ago
An interactive theorem prover based on lambda-tree syntax
Created
2009-12-25
1,431 commits to master branch, last one 2 months ago
Cicada Language (PLCT little team)
Created
2022-08-07
1,874 commits to master branch, last one 3 months ago
This repository has no description...
Created
2016-08-10
1,559 commits to master branch, last one 5 months ago
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
This repository has been archived
(exclude archived)
Created
2021-10-15
260 commits to main branch, last one 9 months ago
Convex optimization modeling in Lean 4
Created
2022-10-14
1,237 commits to main branch, last one 11 months ago