3 Commits

Author	SHA1	Message	Date
Fedor Isakov	2aa168e32e	Docs on Herbrand and First Order Logics	2018-07-18 15:54:51 +02:00
Fedor Isakov	8683c18479	Completing the documentation. Fixed a sample. Some cosmetic improvements.	2018-07-18 15:54:50 +02:00
Fedor Isakov	4a9b422acd	Add README file.	2018-07-18 15:54:50 +02:00