This an archived version of gemini://dcreager.net/formal-methods captured on 2024-06-16.

The server sent the following response for this URL when it was captured:

30 /formal-methods/

Follow this Redirect