This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Daniel Moch
danielmoch.com
did:plc:ulklwpog7sglqnee7k7db3kl
A couple years back I was introduced to the folks at Galois, and they convinced me that formal methods can lower the total cost of software development and maintenance.
https://www.danielmoch.com/posts/2024/12/formal-methods/
2024-12-28T14:50:15.051Z