Tag: proof assistant

Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal way, and have them checked fo ...

F (pronounced F star) is an ML-like functional programming language aimed at program verification. Its type system includes po ...

Penmob is a space for writers and bloggers to improve their craft through real, human feedback. Getting your work published of ...

Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on value ...

Isabelle is a proof assistant for writing and checking mathematical proofs by computer. It allows mathematical formulas to be ...

WordQ-SpeakQ is an assistive technology providing word-predictions for struggling writers. It learn from the writing and makes ...

Get you design, ads or photos professionally approved in one click with the best online proofing service. ProofQuick is a new ...