issues
search
jsiek
/
deduce
A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
59
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Create blah.txt
#38
HalflingHelper
opened
15 hours ago
0
Remove Marks Fix
#37
HalflingHelper
closed
16 hours ago
0
Enable weirdness
#36
HalflingHelper
opened
17 hours ago
0
🪲 Added test case and fixed induction issue
#35
HalflingHelper
closed
16 hours ago
0
Induciton doesn't update positions for alls
#34
HalflingHelper
closed
16 hours ago
0
All intro fix printing
#33
HalflingHelper
closed
5 days ago
2
Add command line argument for printing internal stack trace
#32
HalflingHelper
closed
1 week ago
0
All Simplification and Errors
#31
HalflingHelper
closed
1 week ago
4
I forgot to fix this in the testing script
#30
Temperz87
closed
2 weeks ago
2
Gooder testing
#29
Temperz87
closed
2 weeks ago
1
Error when trying to overload something that is not a function
#28
jsiek
closed
1 week ago
1
Error Messages Unclear wrt Theorem type instantiation
#27
HalflingHelper
closed
1 week ago
1
Int parsing
#26
mateidragony
closed
2 weeks ago
3
I think this is another Overloading error...
#25
mateidragony
closed
2 weeks ago
1
Integers!!!
#24
mateidragony
closed
3 weeks ago
1
Overloads Mess Up in Imports and in Proofs
#23
HalflingHelper
closed
2 weeks ago
1
Cj/sub thms
#22
HalflingHelper
closed
1 month ago
1
Update introduction md files to include list syntax
#21
mateidragony
closed
1 month ago
1
Define syntax sugar for list construction
#20
mateidragony
closed
1 month ago
3
Make deduce able to process directories
#19
Temperz87
closed
1 month ago
1
undefined variable `Nat` (uniquify) only when processing multiple files
#18
Temperz87
closed
1 month ago
4
incorrect induction hypothesis in advice for induction
#17
jsiek
closed
1 month ago
1
If and Only If
#16
HalflingHelper
closed
1 month ago
3
Update README
#15
mateidragony
closed
1 month ago
0
Define Syntax Sugar for List Construction
#14
mateidragony
closed
1 month ago
0
Add induction advice alongside arbitraries
#13
Temperz87
closed
1 month ago
0
Nonexistant case printing in error message
#12
Temperz87
closed
1 month ago
1
Overloading Doesn't Play Nice with Generics
#11
HalflingHelper
opened
1 month ago
1
Change how command lines arguments get parsed
#10
Temperz87
closed
1 month ago
0
Make deduce able to operate on multiple files
#9
Temperz87
closed
1 month ago
3
Gooder paths
#8
Temperz87
closed
1 month ago
2
Adding a test for redefinition of variables
#7
HalflingHelper
closed
1 month ago
1
Add verbose command line arg
#6
Temperz87
closed
1 month ago
0
Update abstract_syntax.py
#5
HalflingHelper
closed
2 months ago
0
public/private with respect to import
#4
jsiek
opened
2 months ago
1
Only overloading functional values
#3
HalflingHelper
closed
2 months ago
0
Overloading Creates Issues for Variables that aren't functions
#2
HalflingHelper
closed
1 month ago
1
comments can work at the end of files now
#1
HalflingHelper
closed
2 months ago
0