Update 2000-01-01-notation.md
Update 2000-01-01-performance.md
Merge pull request #45 from stevenNow/master

Proof notation and performance