Issues

• Labeled assumptions

  enhancement
  cdibbs/folproof#13 · Filter by author cdibbs opened on Feb 6, 2016

• Add syntax for abstract line labels

  enhancement
  cdibbs/folproof#12 · Filter by author cdibbs opened on Feb 6, 2016

• Provide for creating new derived rules

  cdibbs/folproof#10 · Filter by author cdibbs opened on Jan 24, 2016

• Render AST to PDF?

  enhancementhelp wanted
  cdibbs/folproof#8 · Filter by author cdibbs opened on May 8, 2014

• WYSIWYG Editor

  enhancementhelp wanted
  cdibbs/folproof#7 · Filter by author cdibbs opened on May 8, 2014

• Should allow multiline comments /* ... */ or similar

  enhancementhelp wanted
  cdibbs/folproof#6 · Filter by author cdibbs opened on May 8, 2014

• npm test should rebuild, for the sake of travis CI tests

  bug
  cdibbs/folproof#5 · Filter by author cdibbs opened on May 8, 2014

• Language extensions

  enhancement
  cdibbs/folproof#4 · Filter by author cdibbs opened on May 8, 2014

• Fill out documentation

  help wanted
  cdibbs/folproof#3 · Filter by author cdibbs opened on May 8, 2014

• Cover folproof-web.js in tests

  enhancementhelp wanted
  cdibbs/folproof#2 · Filter by author cdibbs opened on May 8, 2014

• Newer, better, faster, smarter example proofs.

  enhancementhelp wanted
  cdibbs/folproof#1 · Filter by author cdibbs opened on May 8, 2014