Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 24, 2024

• Mention paper in README.

  PatrickMassot

  committed
  7241c81

• Add paper

  PatrickMassot

  committed
  9920ece

Commits on Jul 23, 2024

• Some fix and bug pinning

  PatrickMassot

  committed
  5a1a751

Commits on Jul 22, 2024

• Try rewrite in concludeTac

  PatrickMassot

  committed
  fdec626

Commits on Jul 19, 2024

• Switch to toml configuration

  PatrickMassot

  committed
  ebd48b3

• Bump Lean version

  PatrickMassot

  committed
  2ca20b1

Commits on Jul 17, 2024

• Generalize maybeApplied syntax

  Show description for dd9bf4b
  PatrickMassot

  committed
  dd9bf4b

Commits on Jun 26, 2024

• Add neovim in gitpod

  PatrickMassot

  committed
  213cffd

Commits on Jun 25, 2024

• Bump Lean version to 4.9.0-rc3

  PatrickMassot

  committed
  70bc809

• Bump Lean version to 4.8.0-rc1

  PatrickMassot

  committed
  f71c47a

Commits on May 10, 2024

• Mention GitPod in README

  PatrickMassot

  committed
  0fef059

• Fix typo

  PatrickMassot

  committed
  fd9a28a

• Try adding gitpod setup

  PatrickMassot

  committed
  7c601a1

Commits on Apr 25, 2024

• Fix missing bound variable renaming in help

  Show description for 7efc519
  PatrickMassot

  committed
  7efc519

Commits on Mar 21, 2024

• Add translation guide.

  PatrickMassot

  committed
  b356076

Commits on Mar 20, 2024

• Add basic configuration doc.

  PatrickMassot

  committed
  c4d5941

• Add getting started guide.

  PatrickMassot

  committed
  62f7e97

Commits on Mar 19, 2024

• Update README.

  PatrickMassot

  committed
  5fcaebf

• Update file hierarchy description

  PatrickMassot

  committed
  d56ba3c

• More error messages translations

  PatrickMassot

  committed
  ccfb0d3

• Fix translations

  PatrickMassot

  committed
  bd684a4

Commits on Mar 18, 2024

• More translations

  PatrickMassot

  committed
  64ae5ac

• More consistent syntax

  PatrickMassot

  committed
  cdbb426

• Rename MyExpr

  PatrickMassot

  committed
  cc47907

• English grammar fix.

  PatrickMassot

  committed
  39b78ff

• Various cleanups

  PatrickMassot

  committed
  2752410

Commits on Mar 16, 2024

• Add help for contrapose and byContra

  Show description for b5f1ed8
  PatrickMassot

  committed
  b5f1ed8

• Flag a FIXME

  PatrickMassot

  committed
  ffe3dc4

• Option allowing to prove negations by contradiction

  PatrickMassot

  committed
  4146165

• Configure help and suggestions

  PatrickMassot

  committed
  2926bb3

• Some cleanup

  PatrickMassot

  committed
  d798226

• Improve data providers interface

  PatrickMassot

  committed
  1aacd19

• Use data providers lists

  PatrickMassot

  committed
  89edad3

• Finish basic configuration of data providers

  PatrickMassot

  committed
  85495e4

Commits on Mar 15, 2024

• Work on data providers

  PatrickMassot

  committed
  e12ad54

Pagination

PreviousNext