Search results

Some snippets are incompletely translated into latex

Status: Open.

#168 In rocq-community/hydra-battles;

· Casteran opened on Nov 23, 2023

Minimizing Nix Toolbox Gaia CI

Status: Open.

#129 In rocq-community/hydra-battles;

· palmskog opened on Apr 7, 2022

Snippets with utf8 characters

Status: Open.

#113 In rocq-community/hydra-battles;

· Casteran opened on Jan 12, 2022

Unbundled or semibundled typeclasses?

Status: Open.

#74 In rocq-community/hydra-battles;

· palmskog opened on Aug 31, 2021

Moving to Alectryon : first draft

Status: Open.

#70 In rocq-community/hydra-battles;

· Casteran opened on Aug 26, 2021

Shorten duration of documentation CI job.

Status: Open.

#59 In rocq-community/hydra-battles;

· Zimmi48 opened on Aug 18, 2021

Changes to the Ackermann sub-library

Status: Open.

#31 In rocq-community/hydra-battles;

· Casteran opened on May 20, 2021