Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 14, 2023

• Renamed Sinz to sequential counter

  ccodel

  committed
  ff64670

Commits on Feb 23, 2023

• Added CNF outputting

  ccodel

  committed
  ee22a6a

• Lib info and moved explode

  ccodel

  committed
  faec769

• Finished final proofs, cleaned up

  ccodel

  committed
  a5f493e

Commits on Feb 21, 2023

• Refactoring and bug fixes

  ccodel

  committed
  307e01b

Commits on Feb 20, 2023

• Big refactor, new encoding functions and proofs of correctness

  ccodel

  committed
  4d166d0

Commits on Jan 25, 2023

• Upgrade mathlib

  ccodel

  committed
  2eacefe

Commits on Nov 15, 2022

• Cleaned up xor and card

  ccodel

  committed
  0886ff2

Commits on Oct 28, 2022

• Cleaned up clauses

  ccodel

  committed
  5fd4858

Commits on Sep 22, 2022

• Added WIP sudoku

  ccodel

  committed
  95395bf

Commits on Sep 21, 2022

• Finished both Sinz proofs

  ccodel

  committed
  bb78be8

• Sinz amo proof

  ccodel

  committed
  2633f75

Commits on Sep 15, 2022

• Prove stronger XOR theorem with permutations

  ccodel

  committed
  aae9c80

Commits on May 5, 2022

• Non-recursive Sinz AMO, updated Tseitin XOR, reorganized amk, alk files

  

  Cayden Codel

  authored and

  Cayden Codel

  committed
  4e643ac

Commits on Apr 15, 2022

• Sinz amk in propagate, TODO on length cap proofs

  

  Cayden Codel

  authored and

  Cayden Codel

  committed
  53c57d8

Commits on Apr 8, 2022

• TODO proof of amk

  

  Cayden Codel

  authored and

  Cayden Codel

  committed
  9d4c0a2

Commits on Mar 25, 2022

• Almost proof of Sinz, def of Sinz k

  

  Cayden Codel

  authored and

  Cayden Codel

  committed
  931654c

Commits on Mar 18, 2022

• Initial Sinz encoding and ideas

  

  Cayden Codel

  authored and

  Cayden Codel

  committed
  d2cadf5

• Added proof of encoding for direct amo encoding

  

  Cayden Codel

  authored and

  Cayden Codel

  committed
  3174457

Commits on Feb 11, 2022

• Merge pull request #1 from ccodel/itp2022

  Show description for 8d9175d
  ccodel

  authored
  8d9175d

Commits on Feb 10, 2022

• XOR is now a function

  

  Cayden Codel

  authored and

  Cayden Codel

  committed
  7580a01

Commits on Feb 8, 2022

• 80 char limit

  

  Cayden Codel

  authored and

  Cayden Codel

  committed
  a6db3dd

• ITP 2022

  

  Cayden Codel

  authored and

  Cayden Codel

  committed
  457fedf

• Linear Tseitin finished

  

  Cayden Codel

  authored and

  Cayden Codel

  committed
  b90da85

Commits on Feb 7, 2022

• tinker with README

  avigad

  committed
  1429cac

• update README and add build to .yml

  avigad

  committed
  c0024ba

• set up for Gitpod

  avigad

  committed
  7b5eee4

Commits on Feb 3, 2022

• Direct XOR cleaned up, Tseitin in progress

  

  Cayden Codel

  authored and

  Cayden Codel

  committed
  f6032d0

Commits on Feb 1, 2022

• MVP readying for Jeremy

  

  Cayden Codel

  authored and

  Cayden Codel

  committed
  125a03e

• Updated gensym, reworking Tseitin

  

  Cayden Codel

  authored and

  Cayden Codel

  committed
  2e456af

Commits on Jan 26, 2022

• Cleaned up cnf proofs, reworking gensym and xor

  

  Cayden Codel

  authored and

  Cayden Codel

  committed
  ede1348

Commits on Jan 13, 2022

• Moved nat-based literals, etc. to new folder

  Show description for 9511b4a
  

  Cayden Codel

  authored and

  Cayden Codel

  committed
  9511b4a

Commits on Dec 7, 2021

• Proved Tseitin equisatisfiability, modulo refactoring

  

  Cayden Codel

  authored and

  Cayden Codel

  committed
  5069847

Commits on Dec 5, 2021

• Progress towards generalization and tseitin

  ccodel

  committed
  1bf581f

Commits on Oct 21, 2021

• Updated proofs for cnf file

  ccodel

  committed
  69a2bef

Pagination

PreviousNext