GitHub - theoremprover-museum/LEGO: the source archive for LEGO: an interactive proof development system for various type theories · GitHub

Name	Name	Last commit message	Last commit date
2012-07-14	2012-07-14
website	website

About

the source archive for LEGO: an interactive proof development system for various type theories

Custom properties

2 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages