Johannes Emerich knuton

• Freising
• 01:16 (UTC +01:00)
• johannes.emerich.de

Organizations

Pinned Loading

1. Coq-verified statements about lambda calculi.

   Coq 4 2

2. Specify REST API stubs using your file system.

   Ruby 285 8