108 Commits

Author	SHA1	Message	Date
partowp	ce7851c354	more	2026-04-22 19:59:54 +01:00
sergey	e54ecd3472	rebased on TexCommons	2026-04-22 14:50:46 +01:00
partowp	e8a4210c0e	edited	2026-04-19 00:10:59 +01:00
partowp	a888ed095a	the abstract proof	2026-04-17 19:27:15 +01:00
partowp	7a8026a782	delta	2026-04-16 14:52:48 +01:00
partowp	41912f4e54	init	2026-04-16 14:16:14 +01:00
partowp	1fd30f15b8	init	2026-03-23 17:02:24 +00:00
partowp	e5b2b36c04	init	2026-03-23 17:01:25 +00:00