loa

Virtual machine for the Logic of Assumptions
git clone git://juanmeleiro.mat.br/loa
Log | Files | Refs

all.do (29B)

      1 redo main.pdf
      2 echo DONE 1>&2