langs-in-rust icon indicating copy to clipboard operation
langs-in-rust copied to clipboard

Published 20 hours ago • verified publisher icon alilleybrinker

Orion

Open flip111 opened this issue 1 year ago • 0 comments

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

flip111 avatar Jan 17 '24 18:01 flip111