logic - Logic toolbox in Clean

Logic toolbox in Clean

about summary refs log tree commit diff

Age	Commit message (Collapse)	Author	Files	Lines
2015-07-03	Types, toString	Camil Staps	3	-0/+157

2015-07-03	Initial commit	Camil Staps	3	-0/+30

generated by cgit v1.2.3 (git 2.39.1) at 2025-03-13 08:38:08 +0000