Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / robertylewis/lean4-autograder-main issues and pull requests

#17 - disable `sorry` check when using previous exercises

Issue - State: open - Opened by robertylewis about 1 month ago

#16 - Add a license

Issue - State: open - Opened by MithicSpirit about 2 months ago

#15 - document custom allowed axioms

Issue - State: open - Opened by robertylewis about 2 months ago

#14 - allow parametrization of allowed axioms

Pull Request - State: closed - Opened by robertylewis about 2 months ago

#13 - More in-depth check for equality of types

Pull Request - State: closed - Opened by qiaochloe 2 months ago

#12 - Extended autograder to check Lean definitions

Pull Request - State: closed - Opened by qiaochloe 3 months ago

#11 - Allow disabling base axioms

Issue - State: open - Opened by MithicSpirit 3 months ago - 1 comment

#10 - Bump Lean version to latest stable

Pull Request - State: closed - Opened by hrmacbeth 11 months ago

#9 - Add checks for partiality/safeness of declarations

Pull Request - State: closed - Opened by jrr6 11 months ago - 3 comments

#8 - Implement questionable method of allowing non-compiling sheets

Pull Request - State: closed - Opened by jrr6 about 1 year ago

#7 - Add `legalAxiom` tag for marking axioms as allowable in student submissions

Pull Request - State: closed - Opened by jrr6 about 1 year ago

#6 - Add ability to mark axioms as legal for use in submissions

Pull Request - State: closed - Opened by jrr6 about 1 year ago

#5 - Reformat autograder point attribute to minimize confusion

Pull Request - State: closed - Opened by jrr6 about 1 year ago

#4 - F23 rewrite

Pull Request - State: closed - Opened by jrr6 about 1 year ago

#3 - namespacing hack

Issue - State: closed - Opened by robertylewis over 1 year ago

#2 - autograder fails with any incomplete proof in file

Issue - State: closed - Opened by robertylewis over 1 year ago