1 search result for "author:"Scott Owens""
Showing 1 - 1
-
coq-ott
No documentation
Auxiliary Coq library for Ott, a tool for writing definitions of programming languages and calculi0.34BSD-3-ClauseUsed by 1 other packages30 Dec 2024