Skip to content

Alethe in AletheLF: Signature files, and examples to express Alethe proofs in AletheLF

Notifications You must be signed in to change notification settings

cvc5/AletheInEunoia

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

23 Commits
 
 
 
 
 
 
 
 

Repository files navigation

The Alethe Calculus in Eunoia

This repository contains a work-in-progress implementation of the Alethe calculus in Eunoia.

See docs/introduction.md for an overview of the differences between the standalone Alethe syntax, and Alethe in Eunoia.

See the examples/ folder for example proofs in both formats.

Finally, the signature/ folder contains Eunoia signature files for Alethe.

About

Alethe in AletheLF: Signature files, and examples to express Alethe proofs in AletheLF

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published