GitHub - Kraks/playground: my playground

Name		Name	Last commit message	Last commit date
Latest commit History 155 Commits
abella		abella
agda		agda
ats		ats
c/tce		c/tce
compile-to-summary		compile-to-summary
coq		coq
cuda		cuda
dependent		dependent
haskell		haskell
hol		hol
lean		lean
lean3		lean3
ml		ml
quantum		quantum
rust		rust
scala2		scala2
scala3		scala3
scheme		scheme
smt		smt
.gitignore		.gitignore