issues
search
coq-community
/
fav-ssr
Functional Algorithms Verified in SSReflect [maintainer=@clayrat]
MIT License
45
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
consistently require-import all_ssreflect instead of pieces of it
#27
palmskog
opened
1 week ago
1
Support Coq 8.20
#26
ablearthy
closed
2 weeks ago
0
Coq 8.20 support
#25
palmskog
closed
2 weeks ago
2
add meta.yml and generate opam file, README.md and CI
#24
palmskog
closed
2 months ago
1
Quadtrees (chapter 13)
#23
clayrat
closed
2 months ago
1
Port to Mathcomp2+HB
#22
clayrat
opened
2 months ago
0
Joining Coq-community?
#21
palmskog
closed
2 months ago
2
Project license
#20
palmskog
closed
2 months ago
1
add github actions CI for typechecking commits
#19
clayrat
closed
2 months ago
0
sorting.v: Speed up C_merge_all_leq
#18
ablearthy
closed
9 months ago
0
coq-algs
#17
clayrat
opened
9 months ago
0
Okasaki structures
#16
clayrat
opened
9 months ago
0
Sorting: new section 2.7 (Uniqueness of Sorting)
#15
ablearthy
closed
2 months ago
0
Sorting: Exercise 2.1
#14
ablearthy
opened
10 months ago
0
Ternary tries (12.4)
#13
clayrat
opened
1 year ago
0
Tree rotations (5.5)
#12
clayrat
closed
2 months ago
0
Compare with the 2024 revision
#11
clayrat
opened
2 years ago
1
sketch up a finset/map lib
#10
clayrat
opened
2 years ago
0
use something fast for memoization (dynprog, chapter 18)
#9
clayrat
opened
2 years ago
2
Appel-Leroy
#8
clayrat
opened
2 years ago
1
Use new inequality patterns
#7
clayrat
opened
2 years ago
0
Prove Akra-Bazzi light
#6
clayrat
opened
2 years ago
1
Use new set_nth lemmas?
#5
clayrat
opened
2 years ago
0
use boolean predicates for sets
#4
clayrat
closed
2 years ago
1
Switch to up_log
#3
clayrat
closed
2 years ago
1
Use sortedP for sorting/selection?
#2
clayrat
opened
2 years ago
0
Basics chapter and nix-shell
#1
cattingcat
closed
3 years ago
2