Toot

Written by James Wood on 2024-10-12 at 11:39

In Coq/Rocq, we abstract common patterns in Gallina using Definition, and common patterns in Ltac using Ltac. How do we abstract common patterns in Vernacular?

=> More informations about this toot | View the thread | More toots from mudri@mathstodon.xyz

Mentions

Tags

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

This content has been proxied by September (3851b).