Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for coq idris
coq
x
idris
x
6 search results found
Awesome Provable
⭐
136
A curated set of links to formal methods involving provable code.
Ttlite
⭐
108
A SuperCompiler for Martin-Löf's Type Theory
Idris Bi
⭐
29
Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
Talks
⭐
8
Talks that I have given
Idris Logic
⭐
7
Propositional logic tools, inspired by the Coq standard library.
Misc
⭐
6
Misc playground and random stuff
Related Searches
Ocaml Coq (164)
Coq Types (81)
Haskell Coq (63)
Coq Definition (53)
Calculus Coq (50)
Types Idris (46)
Coq Mathcomp (38)
Paper Coq (36)
Idris Dependent Types (36)
Html Coq (32)
1-6 of 6 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.