This repository was archived by the owner on Apr 1, 2025. It is now read-only.
Commits
Branch selector
User selector
Commit History
Commits on Apr 1, 2025
Merge pull request #751 from github/end-of-life
Show description for d1d07ebauthored
Nathan Stocks- authoredNathan Stocks
- authoredNathan Stocks
Commits on May 13, 2024
Merge pull request #718 from sebastiaanspeck/patch-1
Show description for ad281b5authoredrnkaufman- authored
- authored
Commits on Mar 25, 2024
Merge pull request #716 from github/this-branch-name-left-intentionally-blank
Show description for 7bd2ac2authored- authored
Merge pull request #703 from SamB/SamB-patch-1
Show description for d7f9e09authored- committed
- committed
Subterms.
Show description for e4cf5c1committed- committed
- committed
- committed
- committed
- committed
- authored
Commits on Mar 20, 2024
- committed
- committed
- committed
- committed
Merge pull request #715 from github/always-be-treeing
Show description for 3baf0b4authored
Commits on Mar 19, 2024
Define subterms using mendlerPara.
Show description for 1d70d13committed- committed
- committed
UndecidableInstances instead of QuantifiedConstraints.
Show description for 809ab74committed- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed