Files

.github
ASTactic
coq-serapi
coq
coq_projects
- Categories
- ChargeCore
- CompCert
- GeoCoq
- GeometricAlgebra
- InfSeqExt
- PolTac
- QuickChick
- SCEV-coq
- StructTact
- UnifySL
- VST
- additions
- ails
- algebra
- amm11262
- angles
- area-method
- automata
- axiomatic-abp
- bbv
- bdds
- bellantonicook
- bigenough
- buchberger
- cecoa
- checker
- cheerios
- chinese
- circuits
- concat
- constructive-geometry
- coq-cunit
- coq-error-handlers
- coq-ext-lib
- coq-function-ninjas
- coq-iterable
- coq-library-undecidability
- coq-list-plus
- coq-list-string
- coq-procrastination
- coq-simple-io
- coq2html
- coqoban
- coqrel
- coquelicot
- corespec
- cours-de-coq
- ctltctl
- dblib
- demos
- dep-map
- dictionaries
- disel
- distributed-reference-counting
- domain-theory
- euler-formula
- exceptions
- fcsl-pcm
- fermat4
- finmap
- float
- free-groups
- fssec-model
- functional-algebra
- functions-in-zfc
- fundamental-arithmetics
- generic-environments
- goedel
- graphs
- group-theory
- groups
- hardware
- hedges
- higman-cf
- higman-s
- hoare-tut
- huffman
- idxassoc
- ieee754
- int-map
- ipc
- izf
- jordan-curve-theorem
- lambda
- lazy-pcf
- lemma-overloading
- lesniewski-mereology
- lin-alg
- maple-mode
- markov
- math-comp
- maths
- metalib
- mini-compiler
  - LICENSE
  - Make
  - Makefile
  - compiler.v
  - description
- miniml
- mod-red
- orb-stab
- otway-rees
- param-pi
- pigeons
- pocklington
- propcalc
- pts
- qarith-stern-brocot
- qarith
- quicksort-complexity
- railroad-crossing
- ramsey
- regexp
- rem
- rsa
- ruler-compass-geometry
- schroeder
- search-trees
- shuffle
- smc
- subst
- system
- tarski-geometry
- three-gap
- topology
- tortoise-hare-algorithm
- traversable-fincontainer
- tree-automata
- twoSquare
- verdi-raft
- verdi
- weak-up-to
- zchinese
- zf
- zfc
- zorns-lemma
- zsearch-trees
- coq
- makefile
images
stats
.gitignore
Dockerfile
LICENSE
README.md
Singularity
check_proofs.py
coq_gym.yml
download_data.py
eval_env.py
extract_proof.py
extract_synthetic_proofs.py
gallina.py
install.sh
mypy.ini
postprocess.py
proof_tree.py
re_patterns.py
serapi.py
unzip_data.py
utils.py
vernac_types.py

mini-compiler

Kaiyu Yang

May 26, 2019

9d330fa · May 26, 2019

Name	Name	Last commit message	Last commit date
parent directory ..
LICENSE	LICENSE	first commit	May 26, 2019
Make	Make	first commit	May 26, 2019
Makefile	Makefile	first commit	May 26, 2019
compiler.v	compiler.v	first commit	May 26, 2019
description	description	first commit	May 26, 2019

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Files

mini-compiler

mini-compiler

Files

mini-compiler

Directory actions

More options

Directory actions

More options

Latest commit

History

mini-compiler

Folders and files

parent directory