jcaesar/wapm-pkg

Issues

• failed to verify set.mm locally on mac

  #2 opened 3 years ago
  3

• Metamath doesn't work in interactive mode in a browser

  #1 opened 3 years ago
  6