News for hackers. Stuff that matters.

A comment on Cleo (Mathematician).

Re:Cleo (Mathematician) by webo on Thursday October 08, 2026 @11:39AM (#50007156)
His Github has has some interesting projects, e.g: https://github.com/VladimirReshetnikov/ProveIt
[ Parent | on HN ]

There are no comments on this comment yet.