IW Meeting 2009-09-24

From Inference Web

Jump to: navigation, search

agenda

notes

diff: show improvement

we discussed ways to represent and present difference to Geoff

  • table presentation

  • graph presentation (compare an improved proof with (i) the original proof)

  • browser based presentation (switch between two alternative proofs in browser)

Personal tools
Navigation