impex-on-decorated-logic software on GitHub

Software OPEN SOURCE

Coq certified equational reasoning between programs written in IMP-EX language.
Share - Bookmark