Proof Assistant
Functional_Programming_Language › Proof Assistant · Ranked by notability
3
Articles
0
Images
3
Keywords Tracked
3
Websites Tracked
13,150
Monthly Searches
1
Pages
Also in Functional_Programming_Language
All Functional_Programming_Language
Functional Programming Language (5)
Purely Functional Programming Language (2)
Document Authoring System (1)
Esoteric Programming Language (1)
Hardware Description Language (1)
Object-Based Language (1)
Programming Language (1)
Declarative Programming Language (1)
Concurrent Programming Language (1)
Dialect (1)
Functional Programming Language (5)
Purely Functional Programming Language (2)
Document Authoring System (1)
Esoteric Programming Language (1)
Hardware Description Language (1)
Object-Based Language (1)
Programming Language (1)
Declarative Programming Language (1)
Concurrent Programming Language (1)
Dialect (1)
Rocq prover
CreativeWork
proof assistant
Agda
Place
dependently typed, purely functional programming language and proof assistant
Idris
Thing
purely functional programming language
1