Logan Murphy

icon indicating a website link http://www.cs.toronto.edu/~lmurphy/

icon location Toronto, Ontario, Canada icon location Formal Methods @ University of Toronto

Results 2 comments of Logan Murphy

Deaxiomatizing System E

Sorry folks, I've just returned from a few weeks away. I'll look into this this week.

Deaxiomatizing System E

Hi Frederick, I also can't reproduce what you're seeing. Could you confirm which version of Lean is being used? I.e., from within the project directory, run `elan show` and see...