Learn
Platform
Packages
Community
Consortium
News
Rocq Prover
yforster
PhD student at the Programming Systems Lab, Saarland Univeristy, Saarbrücken, Germany