News for hackers. Stuff that matters.

A comment on Translating math into code with examples in Java, Racket, Haskell, Python (2011). Parent comment

Re:Translating math into code with examples in Java, Racket,... by mikorym on Tuesday May 28, 2019 @12:41PM (#20031809)
The article covers quite a few topics in set theory so that suggests that it does provide for advanced topics.

If you mean advanced proofs, again the article may be the right place to start.

[ Parent | on HN ]

There are no comments on this comment yet.