Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/clayrat/prsa

Proof-relevant separation algebras from Rouvoet et al
https://github.com/clayrat/prsa

Last synced: 1 day ago
JSON representation

Proof-relevant separation algebras from Rouvoet et al

Awesome Lists containing this project