This site does not allow itself to be embedded. You can still read it on the original site — the toolbar below keeps your place in the directory.
How I formally verified grocery suggestions with Lean 4 and used Differential Random Testing to bridge it to Haskell production code
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.