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--	Conversion_tactics.v	16890	log stats plain
-rw-r--r--	Makefile	28512	log stats plain
-rw-r--r--	Makefile.local	1394	log stats plain
-rw-r--r--	Misc.v	56921	log stats plain
d---------	PArray	36	log stats plain
-rw-r--r--	PropToBool.v	12524	log stats plain
-rw-r--r--	QInst.v	6885	log stats plain
-rw-r--r--	ReflectFacts.v	3027	log stats plain
-rw-r--r--	SMTCoq.v	1020	log stats plain
-rw-r--r--	SMT_terms.v	114592	log stats plain
-rw-r--r--	State.v	22504	log stats plain
-rw-r--r--	Tactics.v	7914	log stats plain
-rw-r--r--	Trace.v	54503	log stats plain
-rw-r--r--	_CoqProject	2877	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	495	log stats plain
-rw-r--r--	g_smtcoq.mlg	3929	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