-
- Downloads
Macro to include executable lisa listings from a file (#230)
Showing
- refman/.gitignore 1 addition, 0 deletionsrefman/.gitignore
- refman/lisa.pdf 0 additions, 0 deletionsrefman/lisa.pdf
- refman/lisa.tex 2 additions, 1 deletionrefman/lisa.tex
- refman/macro.tex 3 additions, 0 deletionsrefman/macro.tex
- refman/prooflib.tex 1 addition, 28 deletionsrefman/prooflib.tex
- refman/src/MyTheoryName.scala 29 additions, 0 deletionsrefman/src/MyTheoryName.scala
Loading
Please register or sign in to comment