Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 15, 2024

• analysis definitions. sigh. have to print smtlib myself because vampire needs magnled names.

  philzook58

  committed
  efa370a

Commits on Nov 13, 2024

• real z3 value to arb

  philzook58

  committed
  f0764ab

• basic sympy

  philzook58

  committed
  4076901

Commits on Nov 12, 2024

• refactoring. moving in pmatchers

  philzook58

  committed
  3693644

Commits on Nov 11, 2024

• filling out some real definitions. tptp printers are busted

  philzook58

  committed
  503c9fc

Commits on Nov 9, 2024

• group theory axioms

  philzook58

  committed
  6deceb5

• dev dependencies github action

  philzook58

  committed
  97325df

• test notebooks, sqmatrix, vector

  philzook58

  committed
  570ca88

Commits on Nov 8, 2024

• moved real. flint axiom. sympy interp

  philzook58

  committed
  c5d3cbe

• seq theorems, datatype induction

  philzook58

  committed
  29b1563

• added some docstrings

  philzook58

  committed
  79d3bcf

• docs update

  philzook58

  committed
  5ec401c

• gappa install fixed

  philzook58

  committed
  4333ca8

• basic rewriting and simp tactic

  philzook58

  committed
  ee13587

• gappa and renamed egglog

  philzook58

  committed
  dfe6acb

• induct helper. gappa needs gmp mpfr boost

  philzook58

  committed
  f09cb2f

• qexists bug. install gappa. matmul

  philzook58

  committed
  76670ab

Commits on Nov 7, 2024

• remove python 3.9

  philzook58

  authored
  5940e62

• Update README.md

  philzook58

  authored
  1c1bdf0

• Update README.md

  philzook58

  authored
  1fe896a

Commits on Oct 31, 2024

• vampire query answering

  philzook58

  committed
  05da06c

Commits on Oct 29, 2024

• unify

  philzook58

  committed
  0eaca62

Commits on Oct 24, 2024

• parse_program egglog

  philzook58

  committed
  8ecf44b

• kissat

  philzook58

  committed
  00c37c5

• zipperposition made conditional

  philzook58

  committed
  5510cb9

• basic egglog

  philzook58

  committed
  fc55a9c

• bitvec identities

  philzook58

  committed
  8acad29

Commits on Oct 9, 2024

• generator util, vec functions, getitem, define 0-arity, prover9, lambda removal in defn

  philzook58

  committed
  cd99f00

Commits on Oct 1, 2024

• refactored to logic. vampiresolver bug. made multisolver non concurrent

  philzook58

  committed
  edff009

Commits on Sep 27, 2024

• install python script

  philzook58

  committed
  db914ec

• added tao test

  philzook58

  committed
  589f11b

• added proof to base solver

  philzook58

  committed
  f1ef7b6

• added fof formula printing, fixed smtlib declare sort bug, theory flag on tptp printer. can't get quoting to work in eprover

  philzook58

  committed
  cda02d2

Commits on Sep 22, 2024

• cat keyboard

  philzook58

  committed
  ffc98f4

• fof tptp and hebrand inference rules

  philzook58

  committed
  08ac92a

Pagination

PreviousNext