Files

plugin

Setup repo (AU-COBRA#1 )

Dec 19, 2022

a04a045 · Dec 19, 2022

This branch is 4 commits ahead of, 123 commits behind AU-COBRA/coq-rust-extraction:master.

Name		Name	Last commit message	Last commit date
parent directory ..
src		src	Setup repo (AU-COBRA#1 )	Dec 19, 2022
theories		theories	Setup repo (AU-COBRA#1 )	Dec 19, 2022
CoqMakefile.local		CoqMakefile.local	Setup repo (AU-COBRA#1 )	Dec 19, 2022
Makefile		Makefile	Setup repo (AU-COBRA#1 )	Dec 19, 2022
_CoqProject		_CoqProject	Setup repo (AU-COBRA#1 )	Dec 19, 2022
template-coq-files.txt		template-coq-files.txt	Setup repo (AU-COBRA#1 )	Dec 19, 2022