Purely Functional Programming Language
Proof_Assistant › Purely Functional Programming Language · Ranked by notability
3
Articles
0
Images
3
Keywords Tracked
3
Websites Tracked
13,150
Monthly Searches
1
Pages
Also in Proof_Assistant
Rocq prover
CreativeWork
proof assistant
Agda
Place
dependently typed, purely functional programming language and proof assistant
Idris
Thing
purely functional programming language
1