Ecosyste.ms: Issues

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

GitHub / radeusgd/quotedpatternmatchingproof issues and pull requests

#18 - Update README.md

Pull Request - State: open - Opened by radeusgd over 4 years ago

#17 - Inductive predicates vs Fixpoints

Issue - State: open - Opened by radeusgd almost 5 years ago

#16 - Multiple binders in patterns

Issue - State: closed - Opened by radeusgd almost 5 years ago - 3 comments
Labels: question

#15 - Ids instance for explicitly typed terms

Issue - State: closed - Opened by radeusgd almost 5 years ago - 5 comments
Labels: question

#14 - Extend STLC with explicit type annotations

Issue - State: closed - Opened by radeusgd almost 5 years ago - 1 comment

#13 - Add fix operator

Issue - State: closed - Opened by radeusgd almost 5 years ago - 1 comment

#12 - Add pattern matching

Issue - State: open - Opened by radeusgd almost 5 years ago - 2 comments

#11 - Add quotes and splices

Issue - State: closed - Opened by radeusgd almost 5 years ago - 2 comments

#10 - Extend STLC with a boxed type and lift

Issue - State: closed - Opened by radeusgd almost 5 years ago

#9 - STLC with autosubst

Issue - State: closed - Opened by radeusgd almost 5 years ago

#8 - Quickly applying a hypothesis with a quantifier.

Issue - State: closed - Opened by radeusgd almost 5 years ago - 1 comment
Labels: enhancement, for report

#7 - Order of quantifiers in theorems proven by induction

Issue - State: closed - Opened by radeusgd almost 5 years ago
Labels: for report

#6 - Handling names / binders

Issue - State: closed - Opened by radeusgd almost 5 years ago - 14 comments
Labels: question, for report

#5 - Case analysis of equality

Issue - State: closed - Opened by radeusgd almost 5 years ago - 3 comments
Labels: for report

#4 - Hints for tactics

Issue - State: open - Opened by radeusgd almost 5 years ago - 2 comments
Labels: for report

#3 - Notation

Issue - State: closed - Opened by radeusgd almost 5 years ago
Labels: for report

#2 - Induction over mutually recursive types

Issue - State: closed - Opened by radeusgd almost 5 years ago - 6 comments
Labels: for report

#1 - Non-trivially recursive functions termination

Issue - State: closed - Opened by radeusgd almost 5 years ago - 1 comment
Labels: for report