![John Li](https://icfp24.sigplan.org/getProfileImage/johnli/a9c10d7e-4786-4b84-bb60-03d669a3361e/small.jpg?1711480638000)
Registered user since Sun 18 Jun 2023
Name:John Li
Affiliation:Northeastern University
Personal website: https://johnm.li/
Research interests:Logic, semantics, mechanized proof
Contributions
Using general profile
Registered user since Sun 18 Jun 2023
Contributions