Toot

Written by Per Vognsen on 2024-12-30 at 04:11

@zwarich @tmyklebu Have you seen the kind of mixed style you can use in Dafny? https://dafny.org/teaching-material/Lectures/2-3-Logic-ProvingByExplaining.html and https://dafny.org/teaching-material/Lectures/2-4-Logic-ProvingByConvincing.html

=> View attached media

=> More informations about this toot | View the thread | More toots from pervognsen@mastodon.social

Mentions

=> View zwarich@hachyderm.io profile | View tmyklebu@mastodon.gamedev.place profile

Tags

Proxy Information
Original URL
gemini://mastogem.picasoft.net/toot/113739818085611671
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
228.254476 milliseconds
Gemini-to-HTML Time
0.584134 milliseconds

This content has been proxied by September (ba2dc).