Ecosyste.ms: Issues

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

GitHub / reilabs/lampe issues and pull requests

#15 - Update to Lean v4.12.0

Pull Request - State: closed - Opened by utkn 16 days ago
Labels: enhancement

#15 - Update to Lean v4.12.0

Pull Request - State: closed - Opened by utkn 16 days ago
Labels: enhancement

#14 - If-then-else support

Pull Request - State: closed - Opened by utkn 19 days ago
Labels: enhancement

#14 - If-then-else support

Pull Request - State: closed - Opened by utkn 19 days ago
Labels: enhancement

#13 - Introduction rules for builtins

Pull Request - State: closed - Opened by utkn 20 days ago - 1 comment
Labels: enhancement

#13 - Introduction rules for builtins

Pull Request - State: closed - Opened by utkn 20 days ago - 1 comment
Labels: enhancement

#12 - Cleanup examples

Pull Request - State: closed - Opened by kustosz 23 days ago

#12 - Cleanup examples

Pull Request - State: closed - Opened by kustosz 23 days ago

#11 - Revive struct support

Issue - State: open - Opened by kustosz 23 days ago

#11 - Revive struct support

Issue - State: open - Opened by kustosz 23 days ago

#9 - Semantics for if-then-(else)

Issue - State: closed - Opened by kustosz 23 days ago

#9 - Semantics for if-then-(else)

Issue - State: closed - Opened by kustosz 23 days ago

#8 - Support for traits

Issue - State: open - Opened by kustosz 23 days ago

#8 - Support for traits

Issue - State: open - Opened by kustosz 23 days ago

#7 - Syntactic support for reference "lenses"

Issue - State: open - Opened by kustosz 23 days ago

#6 - Lambdas

Issue - State: open - Opened by kustosz 23 days ago

#5 - Separation Logic Based Hoare Semantics

Pull Request - State: closed - Opened by kustosz 24 days ago

#4 - Github actions (CI)

Pull Request - State: closed - Opened by utkn 27 days ago
Labels: enhancement

#3 - Many builtin implementations

Pull Request - State: closed - Opened by utkn 29 days ago - 2 comments
Labels: enhancement

#2 - Slice and uint builtints

Pull Request - State: closed - Opened by utkn about 1 month ago
Labels: enhancement

#1 - Implement proper Lean emission

Pull Request - State: closed - Opened by iamrecursion 2 months ago
Labels: enhancement