Search results

Port to Mathcomp2+HB

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#22 In coq-community/fav-ssr;

· clayrat opened on Sep 13, 2024

coq-algs

infoRelevant info that can go into documentation/commentsRelevant info that can go into documentation/comments

Status: Open.

#17 In coq-community/fav-ssr;

· clayrat opened on Mar 1, 2024

Okasaki structures

enhancementNew feature or requestNew feature or request

infoRelevant info that can go into documentation/commentsRelevant info that can go into documentation/comments

Status: Open.

#16 In coq-community/fav-ssr;

· clayrat opened on Feb 27, 2024

Sorting: Exercise 2.1

Status: Open.

#14 In coq-community/fav-ssr;

· ablearthy opened on Feb 1, 2024

Ternary tries (12.4)

Status: Open.

#13 In coq-community/fav-ssr;

· clayrat opened on Jul 6, 2023

Compare with the 2024 revision

metaMeta-issue for tracking subtasksMeta-issue for tracking subtasks

Status: Open.

#11 In coq-community/fav-ssr;

· clayrat opened on Sep 3, 2022

sketch up a finset/map lib

Status: Open.

#10 In coq-community/fav-ssr;

· clayrat opened on Aug 10, 2022

use something fast for memoization (dynprog, chapter 18)

enhancementNew feature or requestNew feature or request

Status: Open.

#9 In coq-community/fav-ssr;

· clayrat opened on Aug 9, 2022

Appel-Leroy

enhancementNew feature or requestNew feature or request

infoRelevant info that can go into documentation/commentsRelevant info that can go into documentation/comments

Status: Open.

#8 In coq-community/fav-ssr;

· clayrat opened on May 26, 2022

Use new inequality patterns

enhancementNew feature or requestNew feature or request

Status: Open.

#7 In coq-community/fav-ssr;

· clayrat opened on May 10, 2022

Prove Akra-Bazzi light

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#6 In coq-community/fav-ssr;

· clayrat opened on Apr 24, 2022

Use new set_nth lemmas?

good first issueGood for newcomersGood for newcomers

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#5 In coq-community/fav-ssr;

· clayrat opened on Apr 24, 2022