Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 4, 2025

• Merge pull request #67 from trishullab/usr/amit9oct/re-factoring

  Show description for c789498
  amit9oct

  authored
  c789498

  Copy full SHA for c789498

• Fixed README

  amit9oct

  committed
  827beec

  Copy full SHA for 827beec

• Removed unused repos.

  amit9oct

  committed
  94cb0c2

  Copy full SHA for 94cb0c2

• OpenAI secret fix.

  amit9oct

  committed
  9cd1ab1

  Copy full SHA for 9cd1ab1

• Fixed working dir

  amit9oct

  committed
  ba4f65e

  Copy full SHA for ba4f65e

• Fixing lake cache issue

  amit9oct

  committed
  691c5b8

  Copy full SHA for 691c5b8

• Fixed workflow

  amit9oct

  committed
  1242425

  Copy full SHA for 1242425

• Added workflow

  amit9oct

  committed
  ca9c7a6

  Copy full SHA for ca9c7a6

• Added tests

  amit9oct

  committed
  2d69c0c

  Copy full SHA for 2d69c0c

• Removed old code

  amit9oct

  committed
  c266919

  Copy full SHA for c266919

• Fixed eval settings

  amit9oct

  committed
  a0835df

  Copy full SHA for a0835df

• Added Hammer mode.

  amit9oct

  committed
  9057e56

  Copy full SHA for 9057e56

Commits on Feb 15, 2025

• Changed references to itp_interface

  amit9oct

  committed
  b79e47c

  Copy full SHA for b79e47c

• Fixed pyproject.toml; fixed gpt access.

  amit9oct

  committed
  f1af2c2

  Copy full SHA for f1af2c2

• Removed local python path addition.

  amit9oct

  committed
  1e35f7d

  Copy full SHA for 1e35f7d

• Switched the imports

  amit9oct

  committed
  6d8e771

  Copy full SHA for 6d8e771

• Added copra pyproject.toml

  amit9oct

  committed
  a203f72

  Copy full SHA for a203f72

• Added pyproject.toml

  amit9oct

  committed
  4626719

  Copy full SHA for 4626719

• Moved repl to src/copra

  amit9oct

  committed
  7d8a714

  Copy full SHA for 7d8a714

• Moved everything to src/copra, so that we can package.

  amit9oct

  committed
  943772f

  Copy full SHA for 943772f

Commits on Feb 13, 2025

• Merge pull request #66 from trishullab/usr/amit9oct/lemma_prefix_fix

  Show description for ec2d80f
  amit9oct

  authored
  ec2d80f

  Copy full SHA for ec2d80f

• Lemma name in file fix.

  amit9oct

  committed
  83c42ee

  Copy full SHA for 83c42ee

Commits on Oct 28, 2024

• Merge pull request #62 from trishullab/amit9oct-patch-1

  Show description for cd11ffb
  amit9oct

  authored
  cd11ffb

  Copy full SHA for cd11ffb

• Update README.md adding paper citation bibTex

  amit9oct

  authored
  25aee53

  Copy full SHA for 25aee53

Commits on Sep 2, 2024

• Merge pull request #61 from trishullab/usr/amit9oct/new-lean-4-fixes

  Show description for a14af40
  amit9oct

  authored
  a14af40

  Copy full SHA for a14af40

• Changed README

  amit9oct

  committed
  755a83c

  Copy full SHA for 755a83c

• Instructions for Lean 4.

  amit9oct

  committed
  0e8c5f4

  Copy full SHA for 0e8c5f4

• Added all new Lean 4 changes

  amit9oct

  committed
  93ce4de

  Copy full SHA for 93ce4de

Commits on Jul 24, 2024

• Merge pull request #60 from trishullab/usr/amit9oct/optional-isabelle

  Show description for f3ac82b
  amit9oct

  authored
  f3ac82b

  Copy full SHA for f3ac82b

• Made isabelle installation optional.

  amit9oct

  committed
  021d659

  Copy full SHA for 021d659

Commits on Jun 15, 2024

• Merge pull request #59 from trishullab/usr/amit9oct/hammer

  Show description for 1294311
  amit9oct

  authored
  1294311

  Copy full SHA for 1294311

• Fixed isabelle PISA server using excessive memory error

  amit9oct

  committed
  a0865b2

  Copy full SHA for a0865b2

• Added hammer policy for Coq

  amit9oct

  committed
  cc7d91f

  Copy full SHA for cc7d91f

Commits on Jun 3, 2024

• Fixed the Coq pipeline to work with higher versions.

  amit9oct

  committed
  3758db7

  Copy full SHA for 3758db7

• Added rebooting of REPL to reduce memory consumption.

  amit9oct

  committed
  75bdfcc

  Copy full SHA for 75bdfcc

Pagination

Previous

Next