StevenXC

The Lurch Project: a word processor designed to check the reasoning in proofs

1 point by StevenXC 1 year ago | 0 comments

Let's Split Up, Gang

1 point by StevenXC 1 year ago | 0 comments