Hi, Petar just pointed me to this thread. I'm very happy this has been decided. I've been secretly working on a similar idea - firstly the codebase had to be refactored and rewritten to a proper language. I've decided on FORTRAN 2008 + OOP. Verification is done with Coq.
Are you interested in collaborating? Aaron
signature.asc
Description: OpenPGP digital signature
