home | feeds |donate  
why rocq is better than lean for program verification
- Jul 28