#

proof-languages

Here are 2 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 Dec 9, 2024
Haskell

pro465 / nyaya

proof language based on https://en.wikipedia.org/wiki/Sequent_calculus and https://us.metamath.org/.

rust simple theorem-proving proof-checking proof-checker proof-languages

Updated Jan 23, 2024
Rust

Improve this page

Add a description, image, and links to the proof-languages 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-languages topic, visit your repo's landing page and select "manage topics."