SASyLF 1.2.4 is now released on SourceForge. https://sourceforge.net/projects/sasylf/ There is a link

Unfortunately it looks like the spammers have figured out how to cost- effectively defeat

I have a student working on proving things from Chapter 30 of TAPL. One of the lemmas requires

I would be in favor of comprehensive error messages on missing cases. Scala does something like this

Oh, I forgot to mention. You can mouse over the error highlights and see what the error message is in

Consider the following simple example (assume the obvious syntax and judgments have been defined): _:

John, Thanks a lot for your proposal...the existing workaround is indeed somewhat annoying

I'd like SASyLF to have the option of some chatter in the case that things are working. Something