Chen Zhaoyang

icon indicating an email [email protected]

icon location Changzhou, China icon location la vérité rend libre

Results 1 comments of Chen Zhaoyang

emacs mode should choose HOL executable based on lastmaker file (if any)

i will give it a try when i have time