#

proof-language

Here are 5 public repositories matching this topic...

Kind

HigherOrderCO / Kind

A modern proof language

dependent-types functional-programming lambda-calculus type-theory theorem-prover formality moonad proof-language proof-languages

Updated Nov 22, 2024
Haskell

AthenaFoundation / athena

Athena is a modern, practical language for proof engineering & natural deduction.

functional-programming logic theorem-proving proof-assistant formal-verification natural-deduction proof-language

Updated Nov 26, 2024
Standard ML

catseye / Maxixe

MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker

dsl proof propositional-logic natural-deduction proof-checking proof-checker predicate-logic proof-language

Updated Nov 10, 2023
Python

catseye / Eqthy

MIRROR of https://codeberg.org/catseye/Eqthy : A simple formalized language for equational proofs

proof-checking proof-checker proof-language equational-logic equational-theory

Updated Nov 10, 2023
Python

pro465 / nnoq

not noq

rust simple theorem-proving theorem-prover proof-checking proof-checker proof-language

Updated Oct 23, 2023
Rust

Improve this page

Add a description, image, and links to the proof-language topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the proof-language topic, visit your repo's landing page and select "manage topics."