proj-oot-ootToReads

Difference between revision 260 and current revision

No diff available.

see also [1]

higher priority / dont forget about these

General

urbit

introductions

interop

toreads unsorted

link Try adding a language with proof solving capabilities. ATS, Agda, Idris, Coq spring to mind.