Try   HackMD

Week 10 Update

I have published the list of resources for the prover mechanism on github so that other researchers can benefit from it.

Created notes on prover mechanisms: https://hackmd.io/@nilu/provernotes

Started quantifying prover mechanism metrics for the optimization problem: https://hackmd.io/@nilu/proveroptimization