coq-community/hydra-battles issues and pull requests

#100 - Compilation failed

Issue - State: closed - Opened by Casteran over 3 years ago - 14 comments

#99 - Update to latest Coq Nix Toolbox, remove explicit nixpkgs pin.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago

#98 - Move definition of gaia-hydras package to nixpkgs.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago - 2 comments

#97 - Test with Alectryon 1.4 and Coq 8.14.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago - 5 comments

#96 - Apply renaming

Pull Request - State: closed - Opened by Casteran over 3 years ago - 16 comments

#95 - Bump paramcoq to 1.1.3.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago - 9 comments

#94 - Jfla2022

Pull Request - State: closed - Opened by Casteran over 3 years ago - 2 comments

#93 - Newmacros

Pull Request - State: closed - Opened by Casteran over 3 years ago

#92 - Macros for Hydras & co and Coq-community.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago

#91 - Add Alectryon section and dix some TODOs

Pull Request - State: closed - Opened by cpitclaudel over 3 years ago - 9 comments

#90 - update gaia-hydras opam bounds and metadata

Pull Request - State: closed - Opened by palmskog over 3 years ago

#89 - update metadata and CI for 8.14

Pull Request - State: closed - Opened by palmskog over 3 years ago - 1 comment

#88 - and Cie -> and Co.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago

#87 - Proposal of a new structure.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago - 2 comments

#86 - Document Gitpod and Nix in the README.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago

#85 - Minor changes + vision subsection in the introduction.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago - 1 comment

#84 - Remove targets.mk from .PHONY in docs/movies/Makefile

Pull Request - State: closed - Opened by cpitclaudel over 3 years ago - 1 comment

#83 - Jfla2022 proofreading

Pull Request - State: closed - Opened by cpitclaudel over 3 years ago

#82 - Short paper on hydra-battles

Issue - State: closed - Opened by Casteran over 3 years ago - 16 comments

#81 - Workaround Makefile issue after #59.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago - 1 comment

#80 - fix pdf margin overflow for compare-related definitions

Pull Request - State: closed - Opened by palmskog over 3 years ago - 1 comment

#79 - add Compare operational typeclass

Pull Request - State: closed - Opened by palmskog over 3 years ago - 2 comments

#78 - Extended makefile

Pull Request - State: closed - Opened by Casteran over 3 years ago

#77 - Gitpod configuration.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago

#76 - split TotalDecPreorder into TotalPreOrder and Decision typeclasses

Pull Request - State: closed - Opened by palmskog over 3 years ago

#75 - Update Coq Nix Toolbox.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago - 4 comments

#74 - Unbundled or semibundled typeclasses?

Issue - State: open - Opened by palmskog over 3 years ago - 7 comments

#73 - [doc] Add an \inputsnippets command and demo it in Schutte/AP.v

Pull Request - State: closed - Opened by cpitclaudel over 3 years ago - 4 comments

#72 - [latex] Prevent line breaks within syntactic units in code

Pull Request - State: closed - Opened by cpitclaudel over 3 years ago

#71 - [movies] Simplify the driver

Pull Request - State: closed - Opened by cpitclaudel over 3 years ago - 5 comments

#70 - Moving to Alectryon : first draft

Issue - State: open - Opened by Casteran over 3 years ago - 22 comments

#69 - Fix CI setup: pull_request_target event does not support path filters.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago

#68 - Fix date issue when building PDF inside nix-shell.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago

#67 - Propagate Alectryon error codes

Pull Request - State: closed - Opened by cpitclaudel over 3 years ago - 6 comments

#66 - Alectryon chap6

Pull Request - State: closed - Opened by Casteran over 3 years ago

#65 - Lazy snippet generation

Pull Request - State: closed - Opened by Casteran over 3 years ago - 5 comments

#64 - Latex snippet generation

Issue - State: closed - Opened by Casteran over 3 years ago - 4 comments

#63 - [Nix Action] Deploy to Cachix even from forks.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago

#62 - Build documentation in Nix workflow.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago - 11 comments

#61 - Build documentation in Nix workflow.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago - 1 comment

#60 - `make pdf` can succeed with failed snippets.

Issue - State: closed - Opened by Zimmi48 over 3 years ago - 5 comments

#59 - Shorten duration of documentation CI job.

Issue - State: open - Opened by Zimmi48 over 3 years ago - 4 comments

#58 - Init Nix toolbox.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago - 1 comment

#57 - Update to Alectryon 1.3

Pull Request - State: closed - Opened by cpitclaudel over 3 years ago - 5 comments

#56 - Package for bridge to gaia

Pull Request - State: closed - Opened by palmskog over 3 years ago - 6 comments

#55 - Bridge to gaia ordinals

Issue - State: closed - Opened by palmskog over 3 years ago - 10 comments

#54 - Fix typos and small issues in powers part

Pull Request - State: closed - Opened by palmskog over 3 years ago

#53 - Fix English typos and some notations and grammar in intro and hydras

Pull Request - State: closed - Opened by palmskog over 3 years ago - 7 comments

#52 - suppress deprecation warnings that are unfixable in 8.13

Pull Request - State: closed - Opened by palmskog over 3 years ago

#51 - Refactor bibliography

Pull Request - State: closed - Opened by palmskog over 3 years ago

#50 - CI compilation of doc failed on github

Issue - State: closed - Opened by Casteran over 3 years ago - 1 comment

#49 - bad goal display (alectryon + latex)

Issue - State: closed - Opened by Casteran over 3 years ago

#48 - Snippeting chapter9

Pull Request - State: closed - Opened by Casteran over 3 years ago - 3 comments

#47 - Add some snippets

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago - 7 comments

#46 - Fix omega omega

Pull Request - State: closed - Opened by Casteran over 3 years ago

#45 - temporary remove OmegaOmega subdirectory

Issue - State: closed - Opened by Casteran over 3 years ago - 1 comment

#44 - alectryon snippet

Pull Request - State: closed - Opened by start974 over 3 years ago - 13 comments

#43 - Simplify comparable

Pull Request - State: closed - Opened by Casteran over 3 years ago - 1 comment

#42 - Change pipeline to make Makefile.coq

Pull Request - State: closed - Opened by start974 over 3 years ago

#41 - Fix pdf links

Pull Request - State: closed - Opened by start974 over 3 years ago

#40 - Publish coq doc

Pull Request - State: closed - Opened by start974 over 3 years ago - 2 comments

#39 - Comparable class

Pull Request - State: closed - Opened by start974 over 3 years ago - 1 comment

#38 - Simplify p

Pull Request - State: closed - Opened by Casteran over 3 years ago - 1 comment

#37 - Drop compatibility with Coq 8.11 and 8.12.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago

#36 - Associativity and distributivity of plus in T1.

Pull Request - State: closed - Opened by start974 over 3 years ago - 6 comments

#35 - Fix canon

Pull Request - State: closed - Opened by Casteran over 3 years ago - 1 comment

#34 - Remove keywords

Pull Request - State: closed - Opened by Casteran over 3 years ago - 8 comments

#33 - remove lt_eq_lt_dec in minus

Pull Request - State: closed - Opened by start974 over 3 years ago - 1 comment

#32 - Simplify Epsilon0.T1.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago

#31 - Changes to the Ackermann sub-library

Issue - State: open - Opened by Casteran over 3 years ago - 2 comments

#30 - Some use of Equations make 8.11 and 8.12 fail

Issue - State: closed - Opened by Casteran almost 4 years ago - 3 comments

#29 - With solutions

Pull Request - State: closed - Opened by Casteran almost 4 years ago - 1 comment

#28 - Mult index

Pull Request - State: closed - Opened by Casteran about 4 years ago

#27 - Branch dev fails to compile with 8.11

Issue - State: closed - Opened by Casteran about 4 years ago - 3 comments

#26 - Dev

Pull Request - State: closed - Opened by Casteran about 4 years ago

#25 - Remove 8 11

Pull Request - State: closed - Opened by Casteran about 4 years ago - 4 comments

#24 - Proposed changes to meta.yml

Issue - State: closed - Opened by Casteran about 4 years ago - 5 comments

#23 - Tagline for the project

Issue - State: closed - Opened by palmskog about 4 years ago - 1 comment

#22 - enable building with Coq master in CI

Pull Request - State: closed - Opened by palmskog about 4 years ago - 5 comments

#21 - small fixes noted after Ackermann subtree merge

Pull Request - State: closed - Opened by palmskog about 4 years ago - 1 comment

#20 - Subtree-based Ackermann

Pull Request - State: closed - Opened by palmskog about 4 years ago - 4 comments

#19 - Generating coqdoc on merge to master

Issue - State: closed - Opened by palmskog about 4 years ago - 4 comments

#18 - Fix most warnings (especially in 8.13)

Pull Request - State: closed - Opened by palmskog about 4 years ago - 7 comments

#17 - Archiving the superceded coq-contribs

Issue - State: closed - Opened by palmskog about 4 years ago - 3 comments

#16 - enable CI testing of Coq 8.13 and MathComp 1.12, update boilerplate

Pull Request - State: closed - Opened by palmskog about 4 years ago - 1 comment

#15 - including extracts from an old contrib

Issue - State: closed - Opened by Casteran about 4 years ago - 9 comments

#14 - error on compilation of the pdf

Issue - State: closed - Opened by Casteran about 4 years ago - 1 comment

#13 - Restore yb attribution

Pull Request - State: closed - Opened by ybertot about 4 years ago - 3 comments

#12 - Improvements to the README.

Pull Request - State: closed - Opened by Zimmi48 about 4 years ago - 3 comments
Labels: documentation

#11 - use matrix to build both opam files in CI

Pull Request - State: closed - Opened by palmskog about 4 years ago - 1 comment

#10 - Restructuration

Pull Request - State: closed - Opened by Casteran about 4 years ago - 5 comments

#9 - Multi-package repository

Issue - State: closed - Opened by Zimmi48 about 4 years ago - 8 comments

#8 - On mult

Pull Request - State: closed - Opened by Casteran over 4 years ago

#7 - Proposition to rename the directory src/ into theories/

Pull Request - State: closed - Opened by Casteran over 4 years ago

#6 - add project metadata into meta.yml and use GitHub Actions CI

Pull Request - State: closed - Opened by palmskog over 4 years ago - 1 comment

#5 - Document gamma0

Pull Request - State: closed - Opened by Casteran over 4 years ago

#4 - Switch license to MIT.

Pull Request - State: closed - Opened by Zimmi48 over 4 years ago

#3 - New builds scripts

Pull Request - State: closed - Opened by palmskog over 4 years ago

#2 - Add workflow for building and uploading PDF.

Pull Request - State: closed - Opened by Zimmi48 over 4 years ago - 5 comments

#1 - simplify makefiles

Pull Request - State: closed - Opened by Casteran over 4 years ago - 3 comments

GitHub / coq-community/hydra-battles issues and pull requests