search

catrincm / forallx-bris

Bristol version of forallx, an introduction to formal logic
Creative Commons Attribution Share Alike 4.0 International
1 stars 0 forks source link

reusuable package #13

Open catrincm opened 5 years ago

catrincm commented 5 years ago

I've created a core package with commands used across logic material and separate packages for each of beamer, article and problemsheets. These should be made into options of the same package. But latex was shouting at me adding packages within options.