loading...
Masaki Haga profile picture

Masaki Haga

mathematical logic, automated theorem reasoning

Location Heyting algebra Joined Joined on  Twitter logo GitHub logo External link icon
Work

Master's student