motrellin
Studying Computer Science and Mathematics for Education at FAU, focussing towards theoretical computer science and formalizing stuff with Coq.
Erlangen
Pinned Repositories
stex-stuff
LA-Notenrechner
authorchapters
A tex style package for annotating headers with author information
BetonQuest
An advanced and powerful quest scripting plugin for Minecraft. Features built-in RPG style conversations and integration for over 30+ other plugins.
comoalg
Some personal notes on typical algebra topics
comoproj
Template for Github Coq-Projects
docker-coq-equations
Docker Image based on docker-coq with coq-equations
html-test
ll-chainreact
Rules for LoveLetter-extension "Chainreact"
lst-robotkarol
motrellin's Repositories
motrellin/authorchapters
A tex style package for annotating headers with author information
motrellin/BetonQuest
An advanced and powerful quest scripting plugin for Minecraft. Features built-in RPG style conversations and integration for over 30+ other plugins.
motrellin/comoalg
Some personal notes on typical algebra topics
motrellin/comoproj
Template for Github Coq-Projects
motrellin/docker-coq-equations
Docker Image based on docker-coq with coq-equations
motrellin/html-test
motrellin/ll-chainreact
Rules for LoveLetter-extension "Chainreact"
motrellin/lst-robotkarol
motrellin/Quest-Tutorials
BetonQuest Tutorial Quests
motrellin/sinusApp
Animates a sin function
motrellin/sorting-hs
motrellin/stex-inf
motrellin/template-spin
A template to run the Spin model checker in order to find and show a trail under the assumption, that there is one to find.