← Back to context

Comment by homarp

5 hours ago

see also https://lean-lang.org/use-cases/aeneas/ https://github.com/AeneasVerif/aeneas (by Microsoft)

0 comments

homarp

Reply

No comments yet

Contribute on Hacker News ↗