coq-lgtm-pldi24AE.zip
coq-lgtm-pldi24AE
.gitignore
1.3 kB
LICENSE
1.0 kB
Makefile
1.5 kB
README.md
5.3 kB
Triple.md
3.0 kB
_CoqProject
343 Bytes
experiments
COO.v
5.5 kB
CSR.v
9.0 kB
CSR_float.v
10.5 kB
Prelude.v
1.6 kB
RL.v
16.8 kB
SV.v
25.0 kB
UnaryCommon.v
18.5 kB
uCSR.v
16.4 kB
lib
seplog
LibArray.v
32.3 kB
LibHypHeap.v
10.1 kB
LibLoops.v
104.1 kB
LibLoops_float.v
14.2 kB
LibSepFmap.v
102.1 kB
LibSepReference.v
50.1 kB
LibSepSimpl.v
71.8 kB
LibSepVar.v
19.5 kB
LibWP.v
275.2 kB
LibXWP.v
130.9 kB
NTriple.v
14.0 kB
Subst.v
33.4 kB
theory
LibAxioms.v
2.2 kB
LibBool.v
11.2 kB
LibChoice.v
8.6 kB
LibContainer.v
30.1 kB
LibCore.v
766 Bytes
LibDotprod_float.v
6.0 kB
LibEpsilon.v
7.8 kB
LibEqual.v
29.7 kB
LibFun.v
8.1 kB
LibFunExt.v
3.1 kB
LibInt.v
27.5 kB
LibLabType.v
4.5 kB
LibList.v
105.9 kB
LibListExec.v
5.2 kB
LibListExt.v
55.6 kB
LibListZ.v
33.6 kB
LibLogic.v
35.6 kB
LibMin.v
8.8 kB
LibMonoid.v
4.0 kB
LibNat.v
8.6 kB
LibOperation.v
5.2 kB
LibOption.v
5.3 kB
LibOrder.v
33.4 kB
LibProd.v
10.1 kB
LibReflect.v
14.7 kB
LibRelation.v
63.4 kB
LibSepTLCbuffer.v
540 Bytes
LibSet.v
32.1 kB
LibString.v
809 Bytes
LibSum.v
3.5 kB
LibSummation.v
10.6 kB
LibTactics.v
192.8 kB
LibUnit.v
1.6 kB
LibWf.v
17.1 kB