Приложения с тегом "proof-assistant"

Найдено приложений: 3
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.…
WordQ & SpeakQ WordQ & SpeakQ WordQ-SpeakQ is an assistive technology providing word-predictions for struggling writers. It learn from the writing and makes its predictions smarter.…
Isabelle Isabelle Isabelle is a proof assistant for writing and checking mathematical proofs by computer.…