WikiStart: SyDRec.tar.gz

File SyDRec.tar.gz, 21.3 KB (added by simon.robillard@…, 4 years ago)

Coq module to construct and derive programs in the BMF style

HTML preview not available, since no preview renderer could handle it. Try downloading the file instead.