Zhuo (Zoey) Chen

icon indicating an email [email protected]

icon company University of Melbourne icon location theoretical compsci dreamer

Results 1 issues of Zhuo (Zoey) Chen

fixing isa-parser

Aiming to make isa-parser usable as a Isabelle language parser

bug
new feature
infrastructure
WIP