tmiya
11 SlideShares 12 Seguidores
Personal Information
Organização/Local de trabalho
Chofu, Tokyo Japan
Marcadores
coq formal methods dsl coq theorem prover regular expression proof summit 2011 type class tutorial setoid domain specific languages theorem prover term rewriting maude formal method formal verification
Ver mais

Apresentações

(11)
Ver tudo

Coq 20100208a

Há 14 anos • 3656 Visualizações

Formal methods20100529

Há 13 anos • 653 Visualizações

Maude20100719

Há 13 anos • 782 Visualizações

Coq Party 20101127

Há 13 anos • 1177 Visualizações

Coq setoid 20110129

Há 13 anos • 2108 Visualizações

RegExp20110305

Há 13 anos • 526 Visualizações

Coq Tutorial

Há 13 anos • 4077 Visualizações

Typeclass

Há 12 anos • 1432 Visualizações

Coq Tutorial at Proof Summit 2011

Há 12 anos • 2354 Visualizações

Proofsummit2011a

Há 12 anos • 1337 Visualizações

Coq for ML users

Há 7 anos • 1759 Visualizações
Personal Information
Organização/Local de trabalho
Chofu, Tokyo Japan
Marcadores
coq formal methods dsl coq theorem prover regular expression proof summit 2011 type class tutorial setoid domain specific languages theorem prover term rewriting maude formal method formal verification
Ver mais