4 ms·
Ya but for some reason Shen uses weird sequent calculus syntax. I'd much rather write Prolog rules than sequents.
by dkarapetyan 10y ago
Ya but for some reason Shen uses weird sequent calculus syntax. I'd much rather write Prolog rules than sequents.