ada/spark2014
0
0
Fork 0
mirror of https://github.com/AdaCore/spark2014.git synced 2026-02-12 12:39:11 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
20-sustained
spark2014/include/proof
History
Johannes Kanig c534835580 (no-tn-check) fix coq proofs on 20.1 branch 
Change-Id: Ic569aa5371e86cdec8b4b0a54ae0feaf75e40f06
2019-12-17 11:56:18 +09:00
..
Coq
(no-tn-check) fix coq proofs on 20.1 branch
2019-12-17 11:56:18 +09:00
sessions
(no-tn-check) fix coq proofs on 20.1 branch
2019-12-17 11:56:18 +09:00