Programming Language
Proof_Assistant › Programming Language · Ranked by notability
4
Articles
0
Images
3
Websites Tracked
1
Pages
Also in Proof_Assistant
Idris
Thing
purely functional programming language
Mizar
Place
proof assistant
Dafny
Place
programming language
LEGO
Place
logical proof assistant
1