Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Create Some file #2

Merged
merged 12 commits into from
Mar 17, 2024
Merged

Create Some file #2

merged 12 commits into from
Mar 17, 2024

Commits on Mar 17, 2024

  1. Create Probrem3.lean

    @csharpython
    csharpython authored Mar 17, 2024
    Configuration menu
    Copy the full SHA
    9e557bd View commit details
    Browse the repository at this point in the history

  2. Create Probrem4.lean

    @csharpython
    csharpython authored Mar 17, 2024
    Configuration menu
    Copy the full SHA
    9e58cde View commit details
    Browse the repository at this point in the history

  3. Fix P3

    @csharpython
    csharpython authored Mar 17, 2024
    Configuration menu
    Copy the full SHA
    f0122a8 View commit details
    Browse the repository at this point in the history

  4. Fix P4

    @csharpython
    csharpython authored Mar 17, 2024
    Configuration menu
    Copy the full SHA
    1f798f6 View commit details
    Browse the repository at this point in the history

  5. Fix SUMMARY

    @csharpython
    csharpython authored Mar 17, 2024
    Configuration menu
    Copy the full SHA
    ec6f7d1 View commit details
    Browse the repository at this point in the history

  6. Update Src.lean

    @csharpython
    csharpython authored Mar 17, 2024
    Configuration menu
    Copy the full SHA
    8d2223f View commit details
    Browse the repository at this point in the history

  7. fix: rename file

    @Seasawher
    Seasawher committed Mar 17, 2024
    Configuration menu
    Copy the full SHA
    a86a824 View commit details
    Browse the repository at this point in the history

  8. fix: discription of Problem 4

    @Seasawher
    Seasawher committed Mar 17, 2024
    Configuration menu
    Copy the full SHA
    4cd8aae View commit details
    Browse the repository at this point in the history

  9. format code style

    @Seasawher
    Seasawher committed Mar 17, 2024
    Configuration menu
    Copy the full SHA
    1c9cb94 View commit details
    Browse the repository at this point in the history

  10. Update Problem3.lean 

    不要な場合分けの修正
    @csharpython
    csharpython authored Mar 17, 2024
    Configuration menu
    Copy the full SHA
    3f28c9b View commit details
    Browse the repository at this point in the history

  11. Update Problem4.lean 

    不要な場合分けの修正
    @csharpython
    csharpython authored Mar 17, 2024
    Configuration menu
    Copy the full SHA
    d2f1919 View commit details
    Browse the repository at this point in the history

  12. fix: fix whitespace

    @Seasawher
    Seasawher committed Mar 17, 2024
    Configuration menu
    Copy the full SHA
    2cb24e7 View commit details
    Browse the repository at this point in the history