src - smtcoq - Fork of https://github.com/smtcoq/smtcoq.

Mode	Name	Size
-rw-r--r--	BEST_PRACTICE.md	911	log stats plain
-rw-r--r--	Makefile	28512	log stats plain
-rw-r--r--	Makefile.local	1047	log stats plain
-rw-r--r--	Misc.v	49748	log stats plain
d---------	PArray	36	log stats plain
-rw-r--r--	QInst.v	6666	log stats plain
-rw-r--r--	ReflectFacts.v	3027	log stats plain
-rw-r--r--	SMTCoq.v	1033	log stats plain
-rw-r--r--	SMT_terms.v	110688	log stats plain
-rw-r--r--	State.v	22396	log stats plain
-rw-r--r--	Tactics.v	5005	log stats plain
-rw-r--r--	Trace.v	36401	log stats plain
-rw-r--r--	_CoqProject	2901	log stats plain
d---------	array	163	log stats plain
d---------	bva	77	log stats plain
d---------	classes	92	log stats plain
d---------	cnf	33	log stats plain
d---------	euf	33	log stats plain
d---------	extraction	616	log stats plain
-rw-r--r--	g_smtcoq.mlg	3663	log stats plain
d---------	lfsc	774	log stats plain
d---------	lia	102	log stats plain
d---------	preproc	84	log stats plain
-rw-r--r--	smtcoq_plugin.mlpack	407	log stats plain
d---------	smtlib2	346	log stats plain
d---------	spl	159	log stats plain
d---------	trace	950	log stats plain
d---------	verit	243	log stats plain
d---------	zchaff	324	log stats plain