proof-language

There are 0 repository under proof-language topic.

• Kind

  HigherOrderCO / Kind

  A next-gen functional language

  formalitylambda-calculustype-theoryproof-languagefunctional-programmingdependent-typesmoonadproof-languagestheorem-prover
  Language:Rust 3459

• AthenaFoundation / athena

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

  formal-verificationlogicproof-assistanttheorem-provingnatural-deductionfunctional-programmingproof-language
  Language:Standard ML 61

• catseye / Maxixe

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

  proofproof-checkingdslpropositional-logicpredicate-logicnatural-deductionproof-languageproof-checker
  Language:Python 10

• catseye / Eqthy

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

  equational-logicequational-theoryproof-checkerproof-checkingproof-language
  Language:Python 4

• pro465 / nnoq

  not noq

  rustsimpletheorem-provertheorem-provingproof-checkerproof-checkingproof-language
  Language:Rust 4