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

Mode	Name	Size
d---------	Array	36	log stats plain
-rw-r--r--	BEST_PRACTICE.md	911	log stats plain
-rw-r--r--	Conversion_tactics.v	16890	log stats plain
d---------	Int63	199	log stats plain
-rw-r--r--	Makefile.local	1047	log stats plain
-rw-r--r--	Misc.v	46340	log stats plain
-rw-r--r--	PropToBool.v	10167	log stats plain
-rw-r--r--	QInst.v	7213	log stats plain
-rw-r--r--	ReflectFacts.v	3027	log stats plain
-rw-r--r--	SMTCoq.v	1027	log stats plain
-rw-r--r--	SMT_terms.v	110741	log stats plain
-rw-r--r--	State.v	22063	log stats plain
-rw-r--r--	Tactics.v	8711	log stats plain
-rw-r--r--	Trace.v	35997	log stats plain
-rw-r--r--	_CoqProject	2978	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
-rwxr-xr-x	configure.sh	138	log stats plain
d---------	euf	33	log stats plain
d---------	extraction	616	log stats plain
-rw-r--r--	g_smtcoq.mlg	3877	log stats plain
d---------	lfsc	774	log stats plain
d---------	lia	102	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