search

anoma / juvix-stdlib

The Juvix standard library
https://anoma.github.io/juvix-stdlib/
11 stars 2 forks source link

Remove unicode from Isabelle/HOL names #123

Closed lukaszcz closed 3 months ago

lukaszcz commented 3 months ago