search

FMFI-UK-1-AIN-412 / formalization-checker-backend

The back end of a tool for checking formalization exercises.
GNU General Public License v3.0
0 stars 5 forks source link

Evaluation result is sometimes missing original constants #28

Open crnkjck opened 1 year ago

crnkjck commented 1 year ago

Example: Agatha – “Charles hates no one whom Agatha hates.” with bad formalization \a x(-hates(C,x) \limpl -hates(C,x)).