Area 51 » Kevin Buzzard
|
Registered User
|
Kevin Buzzard. Algebraic number theorist in London. Interested in formal theorem proving. My blog aimed at teaching undergraduates to use Lean, a formal proof verification system: https://xenaproject.wordpress.com/ |
network profile
| 0 |
Proposals |
| 0 |
Current Commitments |
| 1 |
Fulfilled Commitment |
970
days
Proof Assistants
For mathematicians and computer scientists who develop and use proof assistants.| 0 |
Followed |
| 5 | Votes Cast |
5 up
0 down
