4 Commits

Author	SHA1	Message	Date
Janis Hutz	16586327d2	Add proven command	2025-04-03 09:20:57 +02:00
Janis Hutz	f2d2299e8b	Improve formulas	2025-04-01 12:55:15 +02:00
Janis Hutz	0644caf2b2	Add docs, finish up errors	2025-01-07 10:38:36 +01:00
Janis Hutz	9217ace0af	Set up helpers, mostly okay. Some changes yet to come	2025-01-06 17:52:57 +01:00