Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Jul 10, 2025

• Fix proof checking scope including later definitions

  gpoesia

  committed
  6066f48

  Copy full SHA for 6066f48

Commits on Mar 12, 2025

• Add extrinsic evaluation problems

  gpoesia

  committed
  8804240

  Copy full SHA for 8804240

• Fix obscure corner case in conjecturing

  Show description for e99371e
  gpoesia

  committed
  e99371e

  Copy full SHA for e99371e

Commits on Feb 14, 2025

• Update README.md by fixing Markdown for one link

  

  namin

  authored and

  gpoesia

  committed
  ffdca44

  Copy full SHA for ffdca44

• Address change in PyTorch 2.6 load API by using weights_only=False explicitly.

  Show description for db8478b
  

  namin

  authored and

  gpoesia

  committed
  db8478b

  Copy full SHA for db8478b

Commits on Jan 7, 2025

• fixed rediscovering trivial conjectures

  

  maharajamihir

  authored and

  gpoesia

  committed
  096db43

  Copy full SHA for 096db43

• fix: use format_exception instead of format_exc

  

  maharajamihir

  authored and

  gpoesia

  committed
  3d33023

  Copy full SHA for 3d33023

Commits on Nov 14, 2024

• Use Arc instead of Rc for thread safety

  gpoesia

  committed
  50b6d6b

  Copy full SHA for 50b6d6b

• feat: add install script

  

  emergenz

  authored and

  gpoesia

  committed
  6dda017

  Copy full SHA for 6dda017

Commits on Nov 13, 2024

• Add stand-alone example of running proof search

  gpoesia

  committed
  736916c

  Copy full SHA for 736916c

Commits on Nov 1, 2024

• fix: use extension-module for pyo3

  

  emergenz

  authored and

  gpoesia

  committed
  c3d78e0

  Copy full SHA for c3d78e0

• fix: typo in conjecture outcome during sampling

  

  emergenz

  authored and

  gpoesia

  committed
  07f7f6c

  Copy full SHA for 07f7f6c

Commits on Oct 11, 2024

• Add --release to maturin command in README

  gpoesia

  committed
  a460417

  Copy full SHA for a460417

• Remove irrelevant dependencies on old code

  gpoesia

  committed
  b9494c4

  Copy full SHA for b9494c4

Commits on Sep 3, 2024

• Initial release

  gpoesia

  committed
  8d963d0

  Copy full SHA for 8d963d0