Formal Methods, Maths and papers
This is a general space for me doing more rigorous stuff, especially in/near Hadoop. When things are ready for incorporation into the Hadoop codebase, I'll put them in as patches.
steveloughran/formality
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|