Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on May 28, 2025

• Fix broken links

  Show description for ea4e1e3
  tchajed

  committed
  ea4e1e3

  Copy full SHA for ea4e1e3

Commits on Aug 13, 2024

• Fix the syntax explaining the warning attribute

  tchajed

  committed
  14b112a

  Copy full SHA for 14b112a

Commits on Jul 27, 2024

• link to Function.v and mention Equations (#37)

  palmskog

  authored
  5b7af75

  Copy full SHA for 5b7af75

Commits on Jul 26, 2024

• ensure all URLs have hyperlinks (#36)

  palmskog

  authored
  e175ae3

  Copy full SHA for e175ae3

• only absolute links for licenses

  

  palmskog

  authored and

  tchajed

  committed
  61c1ba2

  Copy full SHA for 61c1ba2

• make links in README.md absolute

  

  palmskog

  authored and

  tchajed

  committed
  a3c6fb3

  Copy full SHA for a3c6fb3

Commits on Jul 24, 2024

• Add an explanation of skipping Qeds

  tchajed

  committed
  83804bd

  Copy full SHA for 83804bd

• Reduce the preamble before the first trick

  tchajed

  committed
  7e4da29

  Copy full SHA for 7e4da29

• add meta.yml and generate boilerplate from templates

  

  palmskog

  authored and

  tchajed

  committed
  8e0daba

  Copy full SHA for 8e0daba

Commits on Jul 22, 2024

• Fix use of CC0

  Show description for a9738f0
  tchajed

  committed
  a9738f0

  Copy full SHA for a9738f0

• License documentation under CC0

  tchajed

  committed
  d501187

  Copy full SHA for d501187

Commits on Jul 19, 2024

• Clean up to various descriptions in README

  tchajed

  committed
  1df297d

  Copy full SHA for 1df297d

• The uniform inheritance condition is gone

  tchajed

  committed
  be03402

  Copy full SHA for be03402

• Add note about issue 9814

  tchajed

  committed
  aa1d53c

  Copy full SHA for aa1d53c

Commits on Jul 15, 2024

• Add trick for defining Tactic Notations with multiple optional parameters

  snyke7

  committed
  4f92b72

  Copy full SHA for 4f92b72

Commits on Jun 18, 2024

• Fix broken link to OCaml Gc.compact

  tchajed

  committed
  ec86902

  Copy full SHA for ec86902

Commits on Apr 11, 2024

• Fix dead links to manual

  tchajed

  committed
  8636f83

  Copy full SHA for 8636f83

Commits on Aug 5, 2023

• Add data views.

  DasNaCl

  committed
  8b9b77e

  Copy full SHA for 8b9b77e

Commits on Feb 23, 2023

• Merge pull request #20 from jdchristensen/patch-1

  Show description for ae880b7
  tchajed

  authored
  ae880b7

  Copy full SHA for ae880b7

• README.md: fix link to src/Bidirectional.v

  jdchristensen

  authored
  5b1d7f3

  Copy full SHA for 5b1d7f3

Commits on Dec 21, 2022

• Update README.md

  yforster

  authored
  952ebe2

  Copy full SHA for 952ebe2

Commits on Oct 30, 2021

• Add Succeed as a v8.15 replacement for Fail Fail

  tchajed

  committed
  f312d37

  Copy full SHA for f312d37

• Add the trick for admit that supports Qed

  Show description for c5f5542
  tchajed

  committed
  c5f5542

  Copy full SHA for c5f5542

Commits on Oct 19, 2021

• Remove instance generalization bug

  Show description for b0cc89a
  tchajed

  committed
  b0cc89a

  Copy full SHA for b0cc89a

Commits on Apr 17, 2021

• Add div_mod_to_equations trick

  tchajed

  committed
  ad77921

  Copy full SHA for ad77921

Commits on Dec 15, 2020

• Switch status badge to GitHub Actions

  tchajed

  committed
  0a217fd

  Copy full SHA for 0a217fd

Commits on Dec 5, 2020

• Add side effect+return trick in Ltac

  tchajed

  committed
  b55be46

  Copy full SHA for b55be46

Commits on Nov 20, 2020

• Document how hint locality works

  tchajed

  committed
  0a4f02a

  Copy full SHA for 0a4f02a

Commits on Nov 19, 2020

• Update instance generalization example

  tchajed

  committed
  51b7911

  Copy full SHA for 51b7911

• Change CI badge to point to travis-ci.com

  tchajed

  committed
  1d50562

  Copy full SHA for 1d50562

Commits on Nov 11, 2020

• Add a better way to assert that no goals remain

  tchajed

  committed
  f8b335b

  Copy full SHA for f8b335b

Commits on Oct 29, 2020

• Tricks using Fail vernacular

  tchajed

  committed
  db03caa

  Copy full SHA for db03caa

Commits on May 21, 2020

• Add apply (f_equal f) trick

  tchajed

  committed
  0600f15

  Copy full SHA for 0600f15

Commits on Apr 27, 2020

• Mention [apply ... in H as ...] syntax

  tchajed

  committed
  4830535

  Copy full SHA for 4830535

Commits on Apr 3, 2020

• Add nocore

  tchajed

  committed
  2e85824

  Copy full SHA for 2e85824

Pagination

Previous

Next