YAMAMOTO Mitsuharu's repositories
macOS-Camera
Simple example how to run macOS Camera
Language:Swift000
math-comp
Mathematical Components
Language:Coq000
mcb
Mathematical Components (the Book)
Language:TeX000
PG
This repo is the new home of Proof General
Language:Emacs LispGPL-2.0000
Language:Coq000