Pinned Repositories
feffemannen.github.io
lc2024
Logic-GU
Homepage for the Logic group at the University of Gothenburg
LogicalTheory
An open-source, customizable intermediate logic textbook
photos
Digital images used as illustrations in the Open Logic Project
portraits
Line art portraits of logicians for the Open Logic Project
set-theory
Tim Button's open textbook on set theory
turing-machine-viz
A fork of @aepsilon's Turing Machine Visualizer, adapted for the Open Logic Project
Logic-GU
Homepage for the Logic group at the University of Gothenburg
OpenLogic
An open-source, customizable intermediate logic textbook
feffemannen's Repositories
feffemannen/LogicalTheory
An open-source, customizable intermediate logic textbook
feffemannen/feffemannen.github.io
feffemannen/lc2024
feffemannen/Logic-GU
Homepage for the Logic group at the University of Gothenburg
feffemannen/photos
Digital images used as illustrations in the Open Logic Project
feffemannen/portraits
Line art portraits of logicians for the Open Logic Project
feffemannen/set-theory
Tim Button's open textbook on set theory
feffemannen/turing-machine-viz
A fork of @aepsilon's Turing Machine Visualizer, adapted for the Open Logic Project