tri2820

no profile record

Submissions

Show HN: Why I'm building a graphical, simple Proof Assistant for kids

2 pointsby tri28207 tháng trước0 comments

comments

10 tháng trướcdiscuss

This is such a cool project. Personally, I think there are so many interesting use cases that can be built on top of Wayland, like https://github.com/udevbe/greenfield and this