SlideShare a Scribd company logo
tmiya

tmiya

11 SlideShares12 Followers
11 SlideShares12 Followers
Personal Information
Organization / Workplace
Chofu, Tokyo Japan

Presentations(11) 

See all
Coq for ML users
Coq for ML usersCoq for ML users
Coq for ML users
 
Proofsummit2011a
Proofsummit2011aProofsummit2011a
Proofsummit2011a
 
Coq Tutorial at Proof Summit 2011
Coq Tutorial at Proof Summit 2011Coq Tutorial at Proof Summit 2011
Coq Tutorial at Proof Summit 2011