Gentzen-System is a project mainly written in ..., it's free.
Gentzen System Implementation
404: Not Found