Show HN: Forall – OpenSpec but with actual machine-checkable verification

 (github.com)

2 points | by Nolan_Lwin 2 days ago ago

1 comments