https://github.com/AU-COBRA/ConCert
History
Tip revision: 93a7088382bfa623337aa219ba555323e8f4d131 authored by Danil Annenkov on 03 May 2022, 08:57:42 UTC
Tweak doc style
Tip revision: 93a7088
File Mode Size
theories
Makefile -rw-r--r-- 561 bytes
_CoqProject -rw-r--r-- 94 bytes

back to top