Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: NREST: Nondeterministc RESsult...

Email Gateway (Sep 18 2024 at 09:46):

From: Tobias Nipkow <nipkow@in.tum.de>
NREST: Nondeterministc RESsult monad with Time
Maximilian P. L. Haslbeck

This entry introduces NREST, a nondeterministc result monad with time, which was
spun off a development of a framework for verifying functional correctness and
worst-case complexity of algorithms refined down to LLVM, due to Haslbeck and
Lammich.

https://www.isa-afp.org/entries/NREST.html

At long last ;-)

smime.p7s

Last updated: Jan 04 2025 at 20:18 UTC