quinn-dougherty/fvapps
Viewer • Updated • 4.72k • 21 • 6
Quinn Dougherty
quinn-dougherty
AI & ML interests
None yet
Recent Activity
authored a paper about 1 month ago
FVSpec: Real-World Property-Based Tests as Lean Challenges updated a Space about 1 month ago
for-all-dev/README published a Space about 1 month ago
for-all-dev/READMEOrganizations
