Skip to content

Activity

Showing most recent first

Deploying to gh-pages from @ 6d018a3 🚀

github-actions[bot]pushed 1 commit to gh-pages • 637ee49…93a5ebc • 
13 days ago

Merge queue merge

github-merge-queue[bot]pushed 1 commit to master • 3880dec…6d018a3 • 
13 days ago

[ add ] obvious lemma about self-contradiction to `Relation.Nullary.N…

github-merge-queue[bot]created gh-readonly-queue/master/pr-2693-3880dec52b0b97e600c302f26315184142d4fd2f • 6d018a3 • 
13 days ago

Deploying to gh-pages from @ 3880dec 🚀

github-actions[bot]pushed 1 commit to gh-pages • 49e5650…637ee49 • 
15 days ago

Merge queue merge

github-merge-queue[bot]pushed 1 commit to master • 8b8946a…3880dec • 
15 days ago

[add] Update PartialSetoid reasoning (#2689)

github-merge-queue[bot]created gh-readonly-queue/master/pr-2689-8b8946a2fdf30a14629c7cbdcd84c333421e2ea2 • 3880dec • 
15 days ago

Deploying to gh-pages from @ 8b8946a 🚀

github-actions[bot]pushed 1 commit to gh-pages • 00a7c64…49e5650 • 
17 days ago

Merge queue merge

github-merge-queue[bot]pushed 1 commit to master • 59306b9…8b8946a • 
17 days ago

Add/fix RightInverse for dependent products (#2706)

github-merge-queue[bot]created gh-readonly-queue/master/pr-2706-59306b96883bbbabe48db74afc03642c1befb61d • 8b8946a • 
17 days ago

Deploying to gh-pages from @ 59306b9 🚀

github-actions[bot]pushed 1 commit to gh-pages • 7dc3941…00a7c64 • 
18 days ago

Merge queue merge

github-merge-queue[bot]pushed 1 commit to master • 6db08b3…59306b9 • 
18 days ago

Deploying to gh-pages from @ 6db08b3 🚀

github-actions[bot]pushed 1 commit to gh-pages • cc707ed…7dc3941 • 
19 days ago

Merge queue merge

github-merge-queue[bot]pushed 1 commit to master • 8c5dee3…6db08b3 • 
19 days ago

Add properties of zipWith to Pointwise (#2703)

github-merge-queue[bot]created gh-readonly-queue/master/pr-2703-8c5dee34ebde4734f8da5369c3f735576a6311fc • 6db08b3 • 
19 days ago

Deploying to gh-pages from @ 8c5dee3 🚀

github-actions[bot]pushed 1 commit to gh-pages • a0b7bf3…cc707ed • 
21 days ago

Deploying to gh-pages from @ 4e6bfff 🚀

github-actions[bot]pushed 1 commit to gh-pages • 6031650…a0b7bf3 • 
21 days ago

Merge queue merge

github-merge-queue[bot]pushed 1 commit to master • 4e6bfff…8c5dee3 • 
22 days ago

Merge queue merge

github-merge-queue[bot]pushed 1 commit to master • 3b9f62b…4e6bfff • 
22 days ago

[ fix ] attach fixity to the new declaration of `Function.Base.case_r…

github-merge-queue[bot]created gh-readonly-queue/master/pr-2694-4e6bffff448c2cef62b417381bf96cb77ca5479c • 8c5dee3 • 
22 days ago

[ fix ] issue #2698, plus corrects naming convention (#2699)

github-merge-queue[bot]created gh-readonly-queue/master/pr-2699-3b9f62b27ca87d556d8747ebd09060af7bed9d74 • 4e6bfff • 
22 days ago

Deploying to gh-pages from @ 3b9f62b 🚀

github-actions[bot]pushed 1 commit to gh-pages • 9bb008f…6031650 • 
on Mar 31