Skip to content

Activity

generated by GitHub Action

github-actions[bot]pushed 1 commit to master • 68384eb…204831b • 
on Jul 13, 2024

Merge pull request #41 from Seasawher/update-lean

Pull request merge
yuma-mizunopushed 2 commits to master • 5acd4b9…68384eb • 
on Jul 13, 2024

Merge pull request #40 from Seasawher/patch-1

Pull request merge
yuma-mizunopushed 4 commits to master • b210de9…5acd4b9 • 
on Jul 6, 2024

generated by GitHub Action

github-actions[bot]pushed 1 commit to master • b6026f9…b210de9 • 
on Jun 23, 2024

Merge pull request #39 from Seasawher/Seasawher/issue38

Pull request merge
yuma-mizunopushed 3 commits to master • 4a69b01…b6026f9 • 
on Jun 23, 2024

Merge pull request #37 from Seasawher/Seasawher-patch-1

Pull request merge
yuma-mizunopushed 4 commits to master • 2a83cd4…4a69b01 • 
on May 4, 2024

generated by GitHub Action

github-actions[bot]pushed 1 commit to master • 483b183…2a83cd4 • 
on Apr 9, 2024

Merge pull request #36 from Seasawher/update-lean

Pull request merge
yuma-mizunopushed 3 commits to master • 35b3bf7…483b183 • 
on Apr 9, 2024

generated by GitHub Action

github-actions[bot]pushed 1 commit to master • 14cf67a…35b3bf7 • 
on Apr 6, 2024

Merge pull request #33 from Seasawher/update-lean

Pull request merge
yuma-mizunopushed 4 commits to master • 2d88ed9…14cf67a • 
on Apr 6, 2024

Merge pull request #31 from Seasawher/dev-env

Pull request merge
yuma-mizunopushed 3 commits to master • 9f759bc…2d88ed9 • 
on Feb 26, 2024

Merge pull request #29 from Seasawher/restrict-action

Pull request merge
yuma-mizunopushed 4 commits to master • 9b8f444…9f759bc • 
on Feb 20, 2024

Merge pull request #27 from Seasawher/hotfix

Pull request merge
yuma-mizunopushed 2 commits to master • 9fc95f2…9b8f444 • 
on Feb 11, 2024
yuma-mizunopushed 2 commits to master • b6e24f5…9fc95f2 • 
on Feb 10, 2024

workaround for calc

yuma-mizunopushed 1 commit to master • 6c96e07…b6e24f5 • 
on Feb 10, 2024

Merge pull request #25 from Seasawher/mk-exercise

Pull request merge
yuma-mizunopushed 29 commits to master • 2d86105…6c96e07 • 
on Feb 10, 2024

Merge branch 'master' into solution

yuma-mizunopushed 4 commits to solution • 5f99d63…dd19d8b • 
on Jan 15, 2024

add solution

yuma-mizunocreated solution • 5f99d63 • 
on Jan 15, 2024

Merge pull request #19 from Seasawher/lean-update

Pull request merge
yuma-mizunopushed 11 commits to master • 915f500…2d86105 • 
on Jan 14, 2024

Merge pull request #23 from Seasawher/test-workflow

Pull request merge
yuma-mizunopushed 2 commits to master • d6d4f9b…915f500 • 
on Jan 13, 2024

Merge pull request #22 from Seasawher/format-again

Pull request merge
yuma-mizunopushed 3 commits to master • 163822e…d6d4f9b • 
on Jan 11, 2024

Merge pull request #21 from Seasawher/code-format

Pull request merge
yuma-mizunopushed 2 commits to master • 202f329…163822e • 
on Jan 10, 2024

Merge pull request #15 from semorrison/lake_build

Pull request merge
yuma-mizunopushed 2 commits to master • 14a6cfc…202f329 • 
on Jan 8, 2024

rename to Lecture1

yuma-mizunopushed 1 commit to master • 2c58e5f…14a6cfc • 
on Sep 11, 2023

Merge pull request #12 from haruhisa-enomoto/master

Pull request merge
yuma-mizunopushed 2 commits to master • 2ef778b…2c58e5f • 
on Sep 11, 2023

Make inv_inv argument explicit

haruhisa-enomotopushed 1 commit to master • bd002c3…2ef778b • 
on Sep 5, 2023
haruhisa-enomotopushed 2 commits to master • d29df23…bd002c3 • 
on Sep 3, 2023

solution

yuma-mizunopushed 1 commit to master • 05c3eed…d29df23 • 
on Sep 3, 2023

Deleted branch

yuma-mizunodeleted enomoto • 
on Aug 31, 2023

Deleted branch

yuma-mizunodeleted update-mathlib • 
on Aug 31, 2023