GeoCoq/GeoCoq issues and pull requests

#49 - The Coq opam package coq-geocoq.2.5.0 contains no URL

Issue - State: closed - Opened by fblanqui 4 months ago - 1 comment

#48 - Tutorial for beginners?

Issue - State: open - Opened by projetmbc 7 months ago - 2 comments

#47 - How do I use GeoCoq in GeoGebra?

Issue - State: open - Opened by 2nazero 7 months ago - 3 comments

#46 - reorganization and add the possiblity to build using dune

Pull Request - State: closed - Opened by Boutry 8 months ago

#45 - Compatibility with Coq 8.19

Pull Request - State: closed - Opened by Boutry 8 months ago

#44 - Faster coincr

Pull Request - State: closed - Opened by Boutry 8 months ago

#43 - Faster nsatz

Pull Request - State: closed - Opened by Boutry 8 months ago

#42 - Coghetto r/master

Pull Request - State: closed - Opened by Boutry 9 months ago

#41 - Releases of GeoCoq

Issue - State: open - Opened by palmskog 10 months ago - 11 comments

#40 - Adapt to MathComp2

Pull Request - State: closed - Opened by proux01 over 1 year ago

#39 - proves [Equivalence eq] instead of assuming it

Pull Request - State: closed - Opened by jmadiot almost 2 years ago - 1 comment

#38 - Adapt w.r.t coq/coq#16004.

Pull Request - State: closed - Opened by ppedrot over 2 years ago

#37 - init coq-nix-toolbox

Pull Request - State: open - Opened by CohenCyril almost 3 years ago

#36 - Adapt to coq/coq#13837 ("apply with" does not rename arguments)

Pull Request - State: closed - Opened by SkySkimmer about 3 years ago - 1 comment

#35 - What books were used to make GeoCoq?

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

#34 - Adapt to the deprecation of the Regular Subst Tactic option.

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

#33 - Fix for Coq PR 13986

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

#32 - Fix spelling of "extent"

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

#31 - Adapt w.r.t. coq/coq#12512.

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

#30 - changing def of ratio, and renamings

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

#29 - small refactoring and introducing dot as a constant + notations

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

#28 - Fix for math-comp/math-comp#270

Pull Request - State: closed - Opened by pi8027 almost 5 years ago

#27 - Revert "Merge pull request #26 from pi8027/fix-mathcomp-270"

Pull Request - State: closed - Opened by ejgallego almost 5 years ago - 1 comment

#26 - Fix for math-comp/math-comp#270

Pull Request - State: closed - Opened by pi8027 almost 5 years ago - 8 comments

#25 - Fix build of GeoCoq with math-comp master.

Pull Request - State: closed - Opened by ejgallego about 5 years ago - 1 comment

#24 - Is GeoCoq tested with Coq 8.8?

Issue - State: closed - Opened by maximedenes about 5 years ago - 1 comment

#23 - faster Ltac

Pull Request - State: closed - Opened by Boutry about 5 years ago

#22 - Faster nsatz

Pull Request - State: closed - Opened by thery about 5 years ago

#21 - Reload SegmTrisec.v version 2

Pull Request - State: closed - Opened by CoghettoR about 5 years ago

#20 - Revert "Create SegmTrisect.v"

Pull Request - State: closed - Opened by jnarboux about 5 years ago

#19 - Create SegmTrisect.v

Pull Request - State: closed - Opened by CoghettoR about 5 years ago - 6 comments

#18 - Fix `Export` problems (again)

Pull Request - State: closed - Opened by maximedenes about 5 years ago - 1 comment

#17 - Rename `Make` into `_CoqProject`

Pull Request - State: closed - Opened by maximedenes over 5 years ago - 1 comment

#16 - Avoid relying on `Export` bugs

Pull Request - State: closed - Opened by maximedenes over 5 years ago

#15 - Small typo on landing page

Issue - State: closed - Opened by ghost almost 6 years ago - 1 comment

#14 - Make trivial instances explicit

Pull Request - State: closed - Opened by maximedenes almost 6 years ago - 1 comment

#13 - Deleting unnecessary items (require import)

Pull Request - State: closed - Opened by CoghettoR over 6 years ago

#12 - GeoCoq broken with Coq 8.9 (master)

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

#11 - Rhombus

Pull Request - State: closed - Opened by CoghettoR over 6 years ago - 4 comments

#10 - About tarski_to_makarios

Pull Request - State: closed - Opened by CoghettoR over 6 years ago - 1 comment

#9 - Attempt to fix #8: GeoCoq compilation too long on Travis.

Pull Request - State: closed - Opened by Zimmi48 about 7 years ago - 1 comment

#8 - GeoCoq still takes a bit long to build on Travis

Issue - State: closed - Opened by Zimmi48 about 7 years ago

#7 - Move ci logic in configure for sharing with Coq upstream CI.

Pull Request - State: closed - Opened by Zimmi48 about 7 years ago

#6 - [gh-pages] Fix layout and javascript

Pull Request - State: closed - Opened by PatrickMassot over 7 years ago - 1 comment

GitHub / GeoCoq/GeoCoq issues and pull requests