natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
mps-coderules/samples/fitch/languages
History
Fedor Isakov 1336e82065 Fix wrongly used logical item expression. 2020-04-13 17:58:34 +02:00
..
samples.fitch Update all usages of moved concepts. 2020-04-13 17:58:34 +02:00
samples.fitch.firstOrderLogic Update all usages of moved concepts. 2020-04-13 17:58:34 +02:00
samples.fitch.herbrandLogic Fix wrongly used logical item expression. 2020-04-13 17:58:34 +02:00
samples.fitch.propositionalLogic Fix wrongly used logical item expression. 2020-04-13 17:58:34 +02:00