4 ms·
see also https://lean-lang.org/use-cases/aeneas/ https://lean-lang.org/use-cases/aeneas/ https://github.com/AeneasVerif/aeneas https://github.com/AeneasVerif/ae
by homarp 9d ago
see also https://lean-lang.org/use-cases/aeneas/ https://lean-lang.org/use-cases/aeneas/
https://github.com/AeneasVerif/aeneas https://github.com/AeneasVerif/aeneas
(by Microsoft)