🐓
Proving Large Programs in Coq
PhD candidate at CISPA.
Working on formally verified formal methods.
-
ENS Rennes, Saarland University, CISPA
- Saarbrücken
- https://acorrenson.github.io/
Highlights
- Pro
Block or Report
Block or report acorrenson
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseEarned achievements
Starstruck
Starstruck
Loading
Pull Shark
x3
Pull Shark
x3
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading