Keyword Connections

computer scienceanalytic mechanics

Journals

0

No Journal Connected

Research Groups

0

No Research Group Connected

Bibliographies

5

1 conversion of hol light proofs into metamath

2 mixing computations and proofs

3 initial semantics for higher-order typed syntax in coq

4 an introduction to programming and proving with dependent types in coq

5 formalization of the pumping lemma for context-free languages