git.peopleswar

Name	Description	Owner	Idle
homological.git	homological algebraic formalizations		91 min.
night-moon.git	shenanigans with lean4	root	99 min.
nim-testing.git	learning nim		81 min.
set_partitions.git	initially itertools.set_partitions implemented in cpp		86 min.