1. Top
  2. 6.5610-project
  3. Commits
6.5610-project

Cryptography final project

Commits at 8fcd0127dc4593eca0a401ca2e2e6cf65c7a616f

  1. e18f6136 Use finite field elements instead of strings for better perf Actually I have no idea if this actually improves perf or not... Anthony Wang authored at Anthony Wang comitted at
  2. 1aef3614 Bump Lean version Anthony Wang authored at Anthony Wang comitted at
  3. 09248633 Add Lurk dir patch Anthony Wang authored at Anthony Wang comitted at
  4. 7e531a32 Broken protocol code Anthony Wang authored at Anthony Wang comitted at
  5. 7731f06c Passing all test cases now Anthony Wang authored at Anthony Wang comitted at
  6. 786a1c9e Type checker in Lurk finally works!!! Anthony Wang authored at Anthony Wang comitted at
  7. 26daa600 Lurk port almost somewhat works now I guess Anthony Wang authored at Anthony Wang comitted at
  8. 041cf99d Implement natural numbers Anthony Wang authored at Anthony Wang comitted at
  9. 6ee71b22 Generate Lurk s-expressions from `Term`s Anthony Wang authored at Anthony Wang comitted at
  10. 320e2c47 Oops use boolean or instead of prop or Anthony Wang authored at Anthony Wang comitted at
  11. 73d9c43f Better docs, implement negation Anthony Wang authored at Anthony Wang comitted at
  12. 2b177266 Initial commit Anthony Wang authored at Anthony Wang comitted at