7 commits

Author	SHA1	Message	Date
Jannis Portmann	0d3548531d	Remove citation to fix failing builds	2023-02-06 23:44:30 +01:00
Jannis Portmann	72aaed4307	Improve title	2023-02-06 23:39:24 +01:00
Jannis Portmann	20ccc2282a	Add some things	2023-02-06 23:36:59 +01:00
Jannis Portmann	c1572375fa	Some additions	2023-02-03 18:06:51 +01:00
Jannis Portmann	ad7dcd1ee9	First formulas	2023-02-02 18:13:28 +01:00
Jannis Portmann	7c53a57dc4	Basic setup	2023-02-02 17:58:05 +01:00
Jannis Portmann	92753078b4	Initial commit	2023-02-02 17:07:34 +01:00