3 search results for "author:"Peter Sewell""
Showing 1 - 3
-
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 -
coq-sail
No documentation
Support library for Sail, a language for describing the instruction semantics of processors0.19BSD-3-clauseUsed by 0 other packages14 Mar 2025 -
coq-sail-stdpp
No documentation
Support library for Sail, a language for describing the instruction semantics of processors, using stdpp bitvectors0.19BSD-3-clauseUsed by 0 other packages14 Mar 2025