KeYPR. KeY for Proof Repositories

github.com/ekuiter/KeYPR
by @ekuiter

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.