Plangs
| Name | Description |
|---|---|
| Agda | Dependently typed functional programming language and proof assistant used for writing and verifying proofs. |
| Coq | Interactive theorem prover focused on formal verification and proof checking. |
| Futhark | Functional, parallel programming language optimized for high-performance GPU and CPU execution. |
| Idris | Purely-functional language for Type-Driven Development with dependent types and optional lazy evaluation. |
| Isabelle | Automated theorem prover for formalizing mathematical proofs in higher-order logic. |