Formalising a Simple Virtual Machine...

Like 28 Jun 2023 at 15:55 | Open on merveilles.town

3 comments

Wow, the Dafny programming language logo is something else.

28 Jun 2023 at 15:57 | Open on merveilles.town

@neauoire honestly it's kind of great

28 Jun 2023 at 16:05 | Open on merveilles.town

@d6 I know right, there's no way I could make something so perfect even if I tried for a hundred years

28 Jun 2023 at 16:06 | Open on merveilles.town