Registered user since Sun 26 Jun 2022
Contributions
ICFP 2022 | HenBlocks: Structured Editing for Coq | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile
Registered user since Sun 26 Jun 2022
Contributions
ICFP 2022 | HenBlocks: Structured Editing for Coq | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |