Mark Wutka
Results
2
issues of
Mark Wutka
The SimplePaxos tutorial is missing the Ptst folder even though it is mentioned in the .pproj. I wasn't sure if it was just forgotten in the commit or if that...
Help!
Work In Progress
Shouldn't the lemma for μέλει in Matthew 22:16 (line 13120) be μέλω ?