Satoru "Con" Takasimizu's repositories
Language:HTML000
Language:CoqMIT000
ConTaboo
Formally verified taboo algorithm.
Language:CoqMIT000
coq-cunit
Convenience functions for unit testing in Coq.
Language:CoqMIT000
Language:PythonMIT000
FormalReview-Corana87
My machine-assisted review of [Corana et al. 87]
GPL-3.0000
Language:CSS000
Intro-Jones01
A reading memo of [Jones, 2001] -- the invention of the Expected Improvement (EI) algorithm
MIT000
monae
Monadic effects and equational reasonig in Coq
Language:CoqLGPL-2.1000
MIT000
Apache-2.0000
Language:TeXMIT000
refcard-org-beamer
Org Beamer reference card
000
Language:TeX000
ssr-manual
SSReflect user manual
Language:PostScript000
Language:HTML000
Language:PythonMIT000
Language:TeX000