Daniel DaCosta
Results
2
issues of
Daniel DaCosta
First off, thanks for the tool! I was playing around with logitext tonight and came across some strange behavior when unfolding a right implication introduction inference rule instance where the...
The problem arises due to the "subtracted" line of code in the following diff snippet. A correction for it is trivial and noted in the "added" line of code. >...