true/2IMF25-AR - Automated Reasoning

index : true/2IMF25-AR

Automated Reasoning

summary refs log tree commit diff

path: root/logic/logic_a.out

Age	Commit message (Expand)	Author	Files	Lines
2017-01-14	3a done. 3b partially	Koen van der Heijden	1	-0/+157

generated by cgit v1.2.1 (git 2.18.0) at 2024-04-30 02:29:30 +0000