Tadaaki Tanimoto's repositories
cpdt-japanese
Certified Programming with Dependent Types (Japanese Translation)
Language:CoqMIT000
models
Models and examples built with TensorFlow
Language:PythonApache-2.0000
MIT000
Certified Programming with Dependent Types (Japanese Translation)
Models and examples built with TensorFlow