Cedille-Core
VictorTaelin/Cedille-Core
A minimal proof language.
- Recommended by
- 1
- GitHub stars
- 220
- Licence
- MIT
- Language
- JavaScript
- Last commit
- 26 Jan 2019
What people said
“"The developer has built an entire language around a field seemingly without realising that said field exists." That is incredibly funny. Here's a talk about formal verification I made 7 years ago @ DevCon: Here's Cedille Core, my imple…”
Similar tools
Not software, abandoned or listed by mistake? Report this listing