Commits · add_docs_to_readme · Michael Sammler / stdpp · GitLab

Snippets Groups Projects

Jun 21, 2019
- Equalities for `list_merge` with `[]` arguments. · 9407e8cc
  Robbert Krebbers authored 5 years ago
  
  9407e8cc
- Add class `Involutive`. · 18f83bcb
  Robbert Krebbers authored 5 years ago
  
  18f83bcb
Jun 20, 2019
- Merge branch 'ralf/proper-dom' into 'master' · 77eecb3c
  Robbert Krebbers authored 5 years ago
  77eecb3c
- show a Proper instance for dom · 4f68d8a9
  Ralf Jung authored 5 years ago and Robbert Krebbers committed 5 years ago
  
  4f68d8a9
- Add `proj1_ex` and `proj2_ex` when ∃ over `Prop`. · 4978faed
  Robbert Krebbers authored 5 years ago
  
  4978faed
- Merge branch 'ralf/solve_ndisj' into 'master' · 9d08f65f
  Ralf Jung authored 5 years ago
  9d08f65f
- coqdoc++ · 5695ee20
  Ralf Jung authored 5 years ago
  
  5695ee20
- more generalization of lemmas and a few comments for [solve_ndisj] · c081e1b7
  Ralf Jung authored 5 years ago
  
  c081e1b7
- move some general set lemmas to sets.v; organize ndisj hints a bit · d1b91fbe
  Ralf Jung authored 5 years ago
  
  d1b91fbe
- make solve_ndisj more powerful · 7c3203e7
  Ralf Jung authored 5 years ago
  
  7c3203e7
- fix ref tests for Coq 8.10+ · 3bf046f2
  Ralf Jung authored 5 years ago
  
  3bf046f2
- test solve_ndisj a bit · f5c139ed
  Ralf Jung authored 5 years ago
  
  f5c139ed
Jun 18, 2019
- Merge branch 'ralf/bool_decide' into 'master' · 6ac4c450
  Robbert Krebbers authored 5 years ago
  6ac4c450
- add unfolding lemma for bool_decide: bool_decide_decide · 36c6d934
  Ralf Jung authored 5 years ago
  
  36c6d934
Jun 14, 2019
- Merge branch 'robbert/vector' into 'master' · c781cb85
  Robbert Krebbers authored 6 years ago
  c781cb85
- Some missing results about vectors. · 450fcb1f
  Robbert Krebbers authored 6 years ago
  
  450fcb1f
- Add lemma `vec_to_list_replicate`. · be15c746
  Robbert Krebbers authored 6 years ago
  
  be15c746
Jun 02, 2019
- Infinite docs: mention the generic constructions that should usually be used · c8dbb063
  Ralf Jung authored 6 years ago
  
  c8dbb063
May 30, 2019
- Add `set_fold_ind_L`. · 84fd0660
  Robbert Krebbers authored 6 years ago
  
  84fd0660
- `max` and `min` infix notations for `N` and `Z` like we have for `nat`. · 3bc16467
  Robbert Krebbers authored 6 years ago
  
  3bc16467
May 26, 2019
- comment normalization · bd114ac6
  Ralf Jung authored 6 years ago
  
  bd114ac6
May 25, 2019
- _CoqProject formatting · 69321f1d
  Ralf Jung authored 6 years ago
  
  69321f1d
May 21, 2019
- test 8.9.1, no longer test 8.7.0, 8.7.1 · f8719169
  Ralf Jung authored 6 years ago
  
  f8719169
May 17, 2019
- Merge branch 'inh-string' into 'master' · 72bf1989
  Robbert Krebbers authored 6 years ago
  72bf1989
- Merge branch 'fix-typo-instance-name' into 'master' · 53e311e5
  Ralf Jung authored 6 years ago
  53e311e5
- Strings are inhabited · a5a851f5
  Paolo G. Giarrusso authored 6 years ago
  
  Verified
  
  a5a851f5
- Fix typo in instance name · 44318ed9
  Paolo G. Giarrusso authored 6 years ago
  
  Verified
  
  44318ed9
May 15, 2019
- test 8.10 beta branch · 7b7ee122
  Ralf Jung authored 6 years ago
  
  7b7ee122
May 12, 2019
- treat API pipelines like schedules and triggers · ffcca4f0
  Ralf Jung authored 6 years ago
  
  ffcca4f0
May 10, 2019
- Another attempt at a `RelDecision` instance for `flip`. · 5ba352a3
  Robbert Krebbers authored 6 years ago
  5ba352a3
- Revert "`RelDecision` instance for `flip`, and make `flip` tc opaque to avoid... · 9d7640c0
  Robbert Krebbers authored 6 years ago
  9d7640c0
May 09, 2019
- `RelDecision` instance for `flip`, and make `flip` tc opaque to avoid loops... · b81aa3aa
  Robbert Krebbers authored 6 years ago
  b81aa3aa
May 08, 2019
- `Total` instances for all orders on numbers. · d42f5a64
  Robbert Krebbers authored 6 years ago
  
  d42f5a64
- Make the orders on numbers type class opaque. · cbf8a057
  Robbert Krebbers authored 6 years ago
  cbf8a057
May 04, 2019
- opam file: add synopsis · 8500432f
  Ralf Jung authored 6 years ago
  
  8500432f
May 03, 2019
- Set Params and maximally implicits for `head` like other list functions. · 09f69b7c
  Robbert Krebbers authored 6 years ago
  
  09f69b7c
Apr 30, 2019
- Add `Forall_reverse`. · 1657d8d0
  Robbert Krebbers authored 6 years ago
  
  1657d8d0
Apr 26, 2019
- Merge branch 'patch-1' into 'master' · 5727c9aa
  Robbert Krebbers authored 6 years ago
  5727c9aa
- Fix typo in doc · f33ed547
  Paolo G. Giarrusso authored 6 years ago
  
  f33ed547
- release version 1.2.0 · 10bc4e2a
  Ralf Jung authored 6 years ago
  
  10bc4e2a