GitHub - GrammaticalFramework/gf-proofs: A collection of examples where GF is used as a Logical Framework for proofs · GitHub

Name		Name	Last commit message	Last commit date
Nat.gf		Nat.gf

About

A collection of examples where GF is used as a Logical Framework for proofs

Custom properties

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages