mauricioc

The Art of Computer Programming, Volume 4, Fascicle 7: Constraint Satisfaction

4 points by mauricioc 4 months ago | 1 comment

The ∞-Cosmos Project

2 points by mauricioc 9 months ago | 0 comments

Lean into Verified Software Development

3 points by mauricioc 1 year ago | 0 comments

Lean 4.7.0

1 point by mauricioc 1 year ago | 0 comments