You can see some examples here: https://github.com/tsoniclang/proof-is-in-the-pudding
And a hugo clone (which compiles to native code) here: https://github.com/tsoniclang/tsumo
Linux and macOS for now.
And a hugo clone (which compiles to native code) here: https://github.com/tsoniclang/tsumo
Linux and macOS for now.