Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 31, 2025

• Add 'Rust std-lib verification'

  newca12

  committed
  313d137

  Copy full SHA for 313d137

Commits on Jan 28, 2025

• Add Satisfaction

  newca12

  committed
  0989cea

  Copy full SHA for 0989cea

Commits on Jan 17, 2025

• Add EasyZ3, otter_sat & Type System Chess

  newca12

  committed
  2f7116d

  Copy full SHA for 2f7116d

Commits on Jan 6, 2025

• Add 'INCL Automated Theorem Prover'

  newca12

  committed
  6d94ef9

  Copy full SHA for 6d94ef9

Commits on Jan 5, 2025

• Add 'TAPL Implementations'

  newca12

  committed
  b1d97e8

  Copy full SHA for b1d97e8

• Add rust-metamath

  newca12

  committed
  5569258

  Copy full SHA for 5569258

Commits on Dec 27, 2024

• Add Axiom Profiler 2.0

  newca12

  committed
  409871b

  Copy full SHA for 409871b

Commits on Dec 25, 2024

• Add r2u2_core

  newca12

  committed
  67189c8

  Copy full SHA for 67189c8

Commits on Dec 14, 2024

• Add m2cSMT, cadical-sys & rIC3 Hardware Model Checker

  newca12

  committed
  3871167

  Copy full SHA for 3871167

Commits on Dec 11, 2024

• Reference minimo project instead of frozen peano

  newca12

  committed
  33c84eb

  Copy full SHA for 33c84eb

Commits on Nov 29, 2024

• Add Decdnnf-rs, Ipasir-loading & microsat

  newca12

  committed
  23e37ff

  Copy full SHA for 23e37ff

Commits on Nov 22, 2024

• Add research paper for Carcara

  newca12

  committed
  13750c6

  Copy full SHA for 13750c6

Commits on Nov 15, 2024

• Add SAT-Solver & Hashi - Bridges Puzzle

  newca12

  committed
  f246556

  Copy full SHA for f246556

Commits on Nov 13, 2024

• Add paper 'How to discover short, shorter, and the shortest proofs of unsatisfiability' & simple-sat

  newca12

  committed
  539124b

  Copy full SHA for 539124b

Commits on Nov 9, 2024

• Add research paper for Charon

  newca12

  committed
  9763286

  Copy full SHA for 9763286

Commits on Oct 31, 2024

• Add research paper for crux-mir

  newca12

  committed
  e411d9a

  Copy full SHA for e411d9a

• Add microlp & rooc

  newca12

  committed
  6ee35aa

  Copy full SHA for 6ee35aa

Commits on Oct 18, 2024

• Add 'Sat Solver'

  newca12

  committed
  c94a0b3

  Copy full SHA for c94a0b3

Commits on Oct 7, 2024

• Add RefinedRust & rssat

  newca12

  committed
  d0b8e75

  Copy full SHA for d0b8e75

Commits on Sep 22, 2024

• Add talk to Supervisionary

  newca12

  committed
  a05232b

  Copy full SHA for a05232b

Commits on Sep 20, 2024

• Add 'isabelle export tool'

  newca12

  committed
  5248ce5

  Copy full SHA for 5248ce5

Commits on Sep 14, 2024

• Add res-rs

  newca12

  committed
  714d6b4

  Copy full SHA for 714d6b4

Commits on Aug 30, 2024

• Add backdoor-solver

  newca12

  committed
  6369480

  Copy full SHA for 6369480

Commits on Aug 19, 2024

• Add Patronus

  newca12

  committed
  c80ac04

  Copy full SHA for c80ac04

Commits on Aug 8, 2024

• Move peano to 'Proof assistant' section

  newca12

  committed
  a50f30b

  Copy full SHA for a50f30b

Commits on Jul 29, 2024

• Add clingo-rs

  newca12

  committed
  0073105

  Copy full SHA for 0073105

• Move lalrpop-lambda to 'Lambda Calculus' section

  newca12

  committed
  7c21e1c

  Copy full SHA for 7c21e1c

Commits on Jul 24, 2024

• Add 'Propositional Logic'

  newca12

  committed
  aee8ddc

  Copy full SHA for aee8ddc

Commits on Jul 13, 2024

• Add roq

  newca12

  committed
  699c368

  Copy full SHA for 699c368

Commits on Jun 29, 2024

• Add coq-rs

  newca12

  committed
  e6d7b36

  Copy full SHA for e6d7b36

Commits on Jun 15, 2024

• Add blog post 'Visions of the future: formal verification in Rust'

  newca12

  committed
  45b9f62

  Copy full SHA for 45b9f62

Commits on May 30, 2024

• Add 'Lambda Shell'

  newca12

  committed
  3923a2a

  Copy full SHA for 3923a2a

• Add bootfrost

  newca12

  committed
  c3b064b

  Copy full SHA for c3b064b

Commits on May 28, 2024

• Add paper 'A hybrid approach to semi-automated Rust verification'

  newca12

  committed
  08ddb12

  Copy full SHA for 08ddb12

Commits on May 24, 2024

• Add blog post 'Some notes on Rust, mutable aliasing and formal verification'

  newca12

  committed
  c105ade

  Copy full SHA for c105ade

Pagination

Previous

Next