5 Commits

Author	SHA1	Message	Date
Aminda Suomalainen	dab7b1877f	*.md: switch to layout mini	2024-05-19 07:11:08 +03:00
Aminda Suomalainen	753144c978	sync upstream	2023-02-17 14:50:28 +02:00
Mikaela Suomalainen	44b5dde76b	sync, note TPB unofficiality	2021-01-29 21:57:26 +02:00
Mikaela Suomalainen	c3715962a5	or: add proofs ... Closes #141	2019-05-03 11:44:05 +03:00
Mikaela Suomalainen	06fdcdc1b2	Initial commit	2018-09-29 20:23:57 +03:00