/data/cameron
/
miniconda
/
pkgs
/
pygments-2.19.2-py313h06a4308_0
/
info
/
test
/
tests
/
examplefiles
/
coq
/miniconda/pkgs/pygments-2.19.2-py313h06a4308_0/info/test/tests/examplefiles/coq
📄
coq_RelationClasses.v
15.0 KB
2020-02-01 16:00
📄
coq_RelationClasses.v.output
89.1 KB
2020-02-01 16:00
📄
coq_test.v
557 B
2020-02-01 16:00
📄
coq_test.v.output
4.7 KB
2020-02-01 16:00