SASyLF Discussion

SASyLF is an proof assistant for reasoning about programs.

Brought to you by: boyland, jonathanaldrich

Extensions for SASyLF

WHat extensions should be considered for SASyLF?

Topic	Posts	Views	Last Post
"where" clauses to give substitutions By John Tang Boyland on Wed Sep 21, 2016 12:12 AM	3	239	By Michael Ariotti on Wed Sep 21, 2016 03:24 AM
Coinduction By John Tang Boyland on Fri Jun 06, 2014 08:48 AM	2	200	By John Tang Boyland on Fri Jun 06, 2014 01:48 PM
Different kinds of assumptions By John Tang Boyland on Wed Mar 19, 2014 01:20 PM	3	163	By John Tang Boyland on Thu Mar 20, 2014 06:40 AM
"else" for "case" By John Tang Boyland on Thu Nov 14, 2013 08:13 AM	5	166	By John Tang Boyland on Mon Mar 17, 2014 09:22 AM
Reductions By John Tang Boyland on Thu Nov 14, 2013 08:27 AM	5	159	By John Tang Boyland on Mon Mar 17, 2014 09:20 AM
Pragmas / Annotations By John Tang Boyland on Wed Nov 13, 2013 07:54 AM	4	135	By John Tang Boyland on Wed Mar 05, 2014 11:55 AM
More booleans: `or` and `not` By John Tang Boyland on Wed Nov 13, 2013 08:36 AM	5	150	By John Tang Boyland on Sat Mar 01, 2014 07:40 PM
Classical Logic By John Tang Boyland on Wed Nov 13, 2013 07:57 AM	3	88	By John Tang Boyland on Wed Nov 13, 2013 09:55 AM
Explicit contexts By John Tang Boyland on Wed Nov 13, 2013 09:49 AM	1	104	By John Tang Boyland on Wed Nov 13, 2013 09:49 AM
Functions defined as relations By John Tang Boyland on Wed Nov 13, 2013 08:52 AM	7	135	By John Tang Boyland on Wed Nov 13, 2013 09:45 AM
Negation By John Tang Boyland on Wed Nov 13, 2013 08:08 AM	3	198	By John Tang Boyland on Wed Nov 13, 2013 08:34 AM