Skip to content

Implementation of dependent type theory in SWI-Prolog

License

Notifications You must be signed in to change notification settings

DouglasRMiles/swipl-tt

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

15 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Type theory in SWI-Prolog

This project is meant to be an interactive tutorial on type theory, starting from the very basics. SWI-Prolog is used as an approximation of the natural deduction / sequent-calculus style systems that are typically used to formulate systems of type theory.

Run the examples:

> swipl -s STT/swipl_stt_tree_examples.pl

?- run.

About

Implementation of dependent type theory in SWI-Prolog

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Prolog 100.0%