The Wayback Machine - https://web.archive.org/web/20211031133043/https://github.com/thery
Skip to content
Avatar
26 followers · 0 following · 12

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Organizations

@math-comp
Block or Report

Block or report thery

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. T2048 Public

    a version of the 2048 game for Coq

    Coq 20

  2. hanoi Public

    Hanoi tower in Coq

    Coq 19 1

  3. coqprime Public

    Prime numbers for Coq

    Coq 15 12

  4. PolTac Public

    Tactic for polynomial manipulations

    Coq 8 1

  5. lemonde Public

    les problèmes proposés par le journal Le Monde en Coq

    Coq 6

  6. Plouffe Public

    Computing Pi decimal using Plouffe Formula in Coq

    Coq 4 1

359 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri
Happy Halloween! Learn how we count contributions
Less More
Activity overview
Contributed to coq-community/sudoku, thery/coqprime, affeldt-aist/coq-robot and 5 other repositories

Contribution activity

October 2021

Created 67 commits in 21 repositories

Created a pull request in coq/opam-coq-archive that received 2 comments

new release of coqprime for 8.14

+24 −0 • 2 comments
Opened 3 other pull requests in 2 repositories
math-comp/tarjan 2 merged
coq/opam-coq-archive 1 closed
Reviewed 2 pull requests in 2 repositories
math-comp/analysis 1 pull request
math-comp/math-comp 1 pull request

Created an issue in ocaml/opam that received 5 comments

opam init failed because of curl and expired certificate

I am trying to do an opam initand it fails. The problem seems to come for the curl on https://opam.ocaml.org/index.tar.gz if says curl: (60) SSL ce…

5 comments
Opened 1 other issue in 1 repository