coq-community/fav-ssr issues and pull requests

#27 - consistently require-import all_ssreflect instead of pieces of it

Pull Request - State: open - Opened by palmskog 3 months ago - 1 comment

#26 - Support Coq 8.20

Pull Request - State: closed - Opened by ablearthy 4 months ago

#25 - Coq 8.20 support

Issue - State: closed - Opened by palmskog 5 months ago - 2 comments

#24 - add meta.yml and generate opam file, README.md and CI

Pull Request - State: closed - Opened by palmskog 5 months ago - 1 comment

#23 - Quadtrees (chapter 13)

Issue - State: closed - Opened by clayrat 5 months ago - 1 comment

#22 - Port to Mathcomp2+HB

Issue - State: open - Opened by clayrat 5 months ago
Labels: help wanted

#21 - Joining Coq-community?

Issue - State: closed - Opened by palmskog 5 months ago - 2 comments

#20 - Project license

Issue - State: closed - Opened by palmskog 7 months ago - 1 comment

#19 - add github actions CI for typechecking commits

Issue - State: closed - Opened by clayrat 12 months ago
Labels: enhancement, help wanted, good first issue

#18 - sorting.v: Speed up C_merge_all_leq

Pull Request - State: closed - Opened by ablearthy 12 months ago

#17 - coq-algs

Issue - State: open - Opened by clayrat 12 months ago
Labels: info

#16 - Okasaki structures

Issue - State: open - Opened by clayrat 12 months ago
Labels: enhancement, info

#15 - Sorting: new section 2.7 (Uniqueness of Sorting)

Issue - State: closed - Opened by ablearthy about 1 year ago

#14 - Sorting: Exercise 2.1

Issue - State: open - Opened by ablearthy about 1 year ago

#13 - Ternary tries (12.4)

Issue - State: open - Opened by clayrat over 1 year ago

#12 - Tree rotations (5.5)

Issue - State: closed - Opened by clayrat over 1 year ago

#11 - Compare with the 2024 revision

Issue - State: open - Opened by clayrat over 2 years ago - 1 comment
Labels: meta

#10 - sketch up a finset/map lib

Issue - State: open - Opened by clayrat over 2 years ago

#9 - use something fast for memoization (dynprog, chapter 18)

Issue - State: open - Opened by clayrat over 2 years ago - 2 comments
Labels: enhancement

#8 - Appel-Leroy

Issue - State: open - Opened by clayrat over 2 years ago - 1 comment
Labels: enhancement, info

#7 - Use new inequality patterns

Issue - State: open - Opened by clayrat almost 3 years ago
Labels: enhancement

#6 - Prove Akra-Bazzi light

Issue - State: open - Opened by clayrat almost 3 years ago - 1 comment
Labels: help wanted

#5 - Use new set_nth lemmas?

Issue - State: open - Opened by clayrat almost 3 years ago
Labels: help wanted, good first issue

#4 - use boolean predicates for sets

Issue - State: closed - Opened by clayrat almost 3 years ago - 1 comment

#3 - Switch to up_log