operetta.git/src/eval.c, branch master Unnamed repository; edit this file 'description' to name the repository. https://aberrantflux.xyz/operetta.git/atom/src/eval.c?h=master 2023-06-18T06:13:23Z separated switch case into functions, added negation intro rule 2023-06-18T06:13:23Z Kai Stevenson kai@kaistevenson.com 2023-06-18T06:13:23Z urn:sha1:484898d4efdab6d8cff3a887601d5a612034ce0f added contradiction introduction rule 2023-06-18T03:11:37Z Kai Stevenson kai@kaistevenson.com 2023-06-18T03:11:37Z urn:sha1:a7d426c3d5b72b57131c5ca2e6efbf0a7c2b8df9 created file for console related functions. will support scrolling the output and expanding lines 2023-06-14T04:41:35Z Kai Stevenson kai@kaistevenson.com 2023-06-14T04:41:35Z urn:sha1:9e420f7b82c894e077f5c9b7d7020ac3f55ce146 added implication elim rule 2023-06-14T04:24:31Z Kai Stevenson kai@kaistevenson.com 2023-06-14T04:24:31Z urn:sha1:c97957b76a6ff95aa413ed5cf1a39ec76aad9a60 starting a new assumption on the same depth creates a new scope, added scoping detections for all rules 2023-06-14T01:49:47Z Kai Stevenson kai@kaistevenson.com 2023-06-14T01:49:47Z urn:sha1:c427a114bf95620cb9f1b439a8a6e1db14a74fb0 restructured project 2023-06-13T21:50:00Z Kai Stevenson kai@kaistevenson.com 2023-06-13T21:50:00Z urn:sha1:1d3bbec4660dfe4e2117826ceef9b32758b40345