- š Hi, Iām @cogtoto (Vincent Cognet)
- š Iām interested in lambda calculus, pure type systems. I code with Scheme, Ocaml and Coq.
- š± Iām currently building a COQ in COQ
- š« How to reach me: [email protected]
cogtoto Goto Github PK
Name: Cognet Vincent
Type: User
Location: France