Coq semantics for the GF FraCas suite
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.