alilleybrinker/langs-in-rust

Orion

Opened this issue · 0 comments

flip111 commented

The link to orion https://github.com/orion-lang/orion forwards to https://github.com/isabelle-lang/isabelle There is no source code or readme there