metareflection/dafny-disco
Viewer
• Updated
• 81.3k • 7
AI & ML interests
Formal Verification
Recent Activity
View all activity
metareflection/dafny-docs-chunked
Viewer
• Updated
• 497 • 10 • 1
metareflection/tiny-scheme-holes-train
Viewer
• Updated
• 1.66k • 7
metareflection/tiny-scheme-train
Viewer
• Updated
• 74 • 12
metareflection/dafny_with_hints
Viewer
• Updated
• 343 • 8
metareflection/dafny-docs
Viewer
• Updated
• 486 • 5
metareflection/dafny-train
Viewer
• Updated
• 5.62k • 10 • 1