Not registered as user yet

Name:Jim Fehrle
Affiliation:None

Contributions

CoqPL 2022 A Visual Ltac Debugger in CoqIDE
Show activities from other conferences

Using general profile