Приложения с тегом "formal"

Найдено приложений: 3
Coq Coq Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal way, and have them checked for correctness by the computer.…
Agda Agda Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length.…
Isabelle Isabelle Isabelle is a proof assistant for writing and checking mathematical proofs by computer.…