Attempts at formalizing static program analysis techniques in Agda.
You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Danila Fedorin 9646096c75 Fix uses of 'absurd' in Fixedpoint.agda 2 weeks ago
Lattice Add a 'set' lattice backed by maps 2 months ago
Chain.agda Put the fixed point algorithm code into its own file 3 months ago
Equivalence.agda Move the product instances into its own file 2 months ago
Fixedpoint.agda Fix uses of 'absurd' in Fixedpoint.agda 2 weeks ago
Homomorphism.agda Add proof of Lattice preservation 2 months ago
Lattice.agda Clean up imports a bit 2 months ago