Logic, Verification and Programming Lab

@LVPGroup

🇨🇳 Hangzhou, China

Zhejiang University

Profile age: over 10 years

Updated 2 days ago

39 followers • 3 following

updated about 4 years ago • age about 4 years

Isabelle100.0%

updated almost 9 years ago • age over 10 years

updated about 7 years ago • age over 7 years

Isabelle86.0%

Standard ML12.0%

TeX1.1%

C0.8%

updated 9 months ago • age 9 months