Ecosyste.ms: Issues

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

GitHub / shilangyu/formal-lang issues and pull requests

#17 - Add partially completed proofs Lean

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

#16 - Add report

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

#15 - Add implementation of free stainless

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

#14 - Add free Lean

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

#13 - Big step with free

Pull Request - State: open - Opened by fsainas about 1 year ago

#12 - Add implementation of free

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

#11 - Stack of scopes

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

#10 - Revert "Add whiles"

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

#9 - Add no redeclarations

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

#8 - Add whiles

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

#7 - Smallstep stainless interpreter

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

#6 - Add while construct

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

#5 - Add part of Lean formalization

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

#4 - Add presentation

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

#3 - revised AST

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

#2 - Create lang AST

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

#1 - Add abstract

Pull Request - State: closed - Opened by shilangyu over 1 year ago