Join/Login
Business Software
Open Source Software
For Vendors
Blog
About
More
Articles
Create
SourceForge Podcast
Site Documentation
Subscribe to our Newsletter
Support Request
For Vendors
Help
Create
Join
Login
Business Software
Open Source Software
SourceForge Podcast
Resources
Articles
Case Studies
Blog
Menu
Help
Create
Join
Login
Home
Browse
SASyLF
Discussion
SASyLF Discussion
SASyLF is an proof assistant for reasoning about programs.
Brought to you by:
boyland
,
jonathanaldrich
Summary
Files
Reviews
Support
Discussion
Menu
▾
▴
Create Topic
Stats Graph
Forums
General Discussion
1
Extensions for SASyLF
11
Help
Formatting Help
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
Showing 11 results of 11
×