Boarders / agda-static-analysis

20

static-analysis

Attempt to formalize some aspects of static analysis in agda.

About

Languages

Language:Agda 100.0%

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.