8 results found Sort:

12
292
other
11
My personal repository of formally verified mathematics.
Created 2017-07-04
1,338 commits to main branch, last one 25 days ago
32
152
lgpl-2.1
6
Visual Studio Code Extension and Language Server Protocol for Coq
Created 2019-02-08
1,624 commits to main branch, last one 7 days ago
Cicada Language (solo version)
Created 2021-03-28
6,371 commits to master branch, last one 22 days ago
Cicada Language (PLCT little team)
Created 2022-08-07
1,873 commits to master branch, last one 22 days ago
18
90
gpl-3.0
10
An interactive theorem prover based on lambda-tree syntax
Created 2009-12-25
1,399 commits to master branch, last one 13 days ago
16
60
apache-2.0
14
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 4 months ago
Convex optimization modeling in Lean 4
Created 2022-10-14
1,237 commits to main branch, last one 6 months ago