Popular repositories Loading
-
turning-dafny-sets-into-sequences-talk
turning-dafny-sets-into-sequences-talk PublicThis is contains the slides for my (Larry Diehl's) Turning Dafny Sets into Sequences talk presented at NYC Systems on Dec 18th, 2025.
Dafny 2
Repositories
Showing 1 of 1 repositories
- turning-dafny-sets-into-sequences-talk Public
This is contains the slides for my (Larry Diehl's) Turning Dafny Sets into Sequences talk presented at NYC Systems on Dec 18th, 2025.
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…