Issues

• Ability to share proofs as URL

  surajx/proof-assistant#19 · Filter by author surajx opened on May 31, 2021

• Remove signup wall.

  enhancement
  surajx/proof-assistant#18 · Filter by author surajx opened on May 31, 2021
  

• Use Adjacency Matrix instead of Adjacency List.

  medium
  surajx/proof-assistant#16 · Filter by author surajx opened on Oct 13, 2017

• Make error message configurable by Lecturer

  enhancementlow
  surajx/proof-assistant#14 · Filter by author surajx opened on Oct 11, 2017

• setup auto deployment to staging environment on merge to master

  enhancementlow
  surajx/proof-assistant#13 · Filter by author surajx opened on Oct 11, 2017

• User preference page.

  enhancementlow
  surajx/proof-assistant#12 · Filter by author surajx opened on Oct 11, 2017

• Refactor routes.js

  mediumrefactor
  surajx/proof-assistant#10 · Filter by author surajx opened on Oct 11, 2017
  1

• Dockerize deployment and development

  enhancementlow
  surajx/proof-assistant#9 · Filter by author surajx opened on Oct 11, 2017

• Add documentation

  documentationhigh
  surajx/proof-assistant#7 · Filter by author surajx opened on Oct 11, 2017
  

• Ability to add goals at the bottom

  enhancementmedium
  surajx/proof-assistant#6 · Filter by author surajx opened on Oct 11, 2017

• Admin page and default admin account

  enhancementmedium
  surajx/proof-assistant#5 · Filter by author surajx opened on Oct 11, 2017

• Ability to submit proof for assessment.

  enhancementmedium
  surajx/proof-assistant#3 · Filter by author surajx opened on Oct 11, 2017

• Introduce User roles

  enhancementmedium
  surajx/proof-assistant#2 · Filter by author surajx opened on Oct 11, 2017

• Passwords are saved as plain-text

  enhancementlow
  surajx/proof-assistant#1 · Filter by author surajx opened on Oct 11, 2017
  1