Formalising a Simple Virtual Machine... | Devine Lu Linvega

Devine Lu Linvega's posts Post Back to profile

Devine Lu Linvega

Formalising a Simple Virtual Machine
https://whileydave.com/2022/06/28/formalising-a-simple-virtual-machine/

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

3 comments

Devine Lu Linvega

Wow, the Dafny programming language logo is something else.

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

⛧ esoterik ⛧

@neauoire honestly it's kind of great

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

Devine Lu Linvega

@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