9 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Sergey Goncharov	e54ecd3472	rebased on TexCommons	2026-04-22 14:50:46 +01:00
Sergey Goncharov	ae6accf047	Remove submodule TexCommon	2026-04-22 14:49:08 +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
pouya	a702a6a072	Initial commit	2026-03-23 17:40:45 +01:00