Hideyuki Kawabata
Results
1
repositories owned by
Hideyuki Kawabata
traf
24
Stars
1
Forks
Watchers
A proof tree viewer that works with Coq through Proof General
