Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: cmu-l3/llmlean Loading
base: main
Choose a base ref
...
head repository: KunihikoK3/llmlean Loading
compare: main
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 8 commits
  • 96 files changed
  • 1 contributor

Commits on May 23, 2024

  1. LLMlean_example

    KunihikoK3 committed May 23, 2024
    Configuration menu
    Copy the full SHA
    223d1e1 View commit details
    Browse the repository at this point in the history
  2. LeanCopilot added

    KunihikoK3 committed May 23, 2024
    Configuration menu
    Copy the full SHA
    00155d7 View commit details
    Browse the repository at this point in the history
  3. message

    KunihikoK3 committed May 23, 2024
    Configuration menu
    Copy the full SHA
    82fc0e7 View commit details
    Browse the repository at this point in the history
  4. message

    KunihikoK3 committed May 23, 2024
    Configuration menu
    Copy the full SHA
    6b7c398 View commit details
    Browse the repository at this point in the history

Commits on May 24, 2024

  1. Configuration menu
    Copy the full SHA
    02cac12 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    8c4cae8 View commit details
    Browse the repository at this point in the history

Commits on May 25, 2024

  1. Configuration menu
    Copy the full SHA
    a484b89 View commit details
    Browse the repository at this point in the history

Commits on May 26, 2024

  1. some set exercises

    KunihikoK3 committed May 26, 2024
    Configuration menu
    Copy the full SHA
    6b3f03b View commit details
    Browse the repository at this point in the history
Loading