Commits

Branch selector

 main

User selector

tomaz1502

Datepicker

All time

Commit History

Commits on Nov 17, 2024

• Update name of getLsb_cons to getLsbD_cons (#142)

  tomaz1502

  authored
  c44eeef

Commits on Feb 26, 2024

• Initial Non-linear arithmetic + Porting Rat to Real (#73)

  Show description for 25beb64
  tomaz1502

  authored
  25beb64

Commits on Nov 8, 2023

• Syncing Proof Reconstruction (#67)

  Show description for 666dbd8
  

  4 peopleauthored
  666dbd8

Commits on Sep 1, 2023

• added preprocessing step to rewrite Iff with Eq (#61)

  Show description for 8c13acb
  tomaz1502

  authored
  8c13acb

Commits on Apr 13, 2023

• Finalizing reconstruction (#55)

  Show description for 6c33c70
  

  3 peopleauthored
  6c33c70

Commits on Feb 10, 2023

• flipCongrArg (#54)

  tomaz1502

  authored
  381eca0

Commits on Jan 18, 2023

• Boolean changes (#49)

  Show description for 651185c
  

  tomaz1502

  and

  Tomaz Gomes Mascarenhas

  authored
  651185c

Commits on Nov 1, 2022

• feat: tactics for all rules regarding CNF transformation (#45)

  Show description for c97186c
  tomaz1502

  authored
  c97186c

Commits on Oct 19, 2022

• renaming cong to smtCong

  tomaz1502

  committed
  8d4d807

• updating reconstruction

  tomaz1502

  committed
  c79456d

Commits on Oct 3, 2022

• Feat/certifying reconstruction (#44)

  Show description for c893b97
  tomaz1502

  authored
  c893b97

Commits on Jun 29, 2022

• Reconstruction (#31)

  Show description for 2b9c56d
  tomaz1502

  authored
  2b9c56d

Commits on Nov 30, 2021

• Subtraction between natural numbers (#2)

  Show description for 8b06862
  tomaz1502

  authored
  8b06862