Skip to content
View CohenCyril's full-sized avatar
84 followers · 43 following

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex3Achievement: Starstruckx2Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex3Achievement: Starstruckx2Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Organizations

@math-comp

Block or report CohenCyril

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
@INRIA
Inria INRIA
National Institute for Research in Digital Science and Technology

France

@ThomasPortet
ThomasPortet
@leanprover-community
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
@rocq-community
Rocq-community rocq-community
A project for a collaborative, community-driven effort for the long-term maintenance and advertisement of packages for the Rocq Prover
@rocq-prover
The Rocq Prover rocq-prover
@math-comp
Mathematical Components math-comp
@zstone1
zstone1
@arthuraa
Arthur Azevedo de Amorim arthuraa
Assistant professor at Rochester Institute of Technology.

Rochester Institute of Technology Rochester, NY, USA

@vbgl
Vincent Laporte vbgl
@Zimmi48
Théo Zimmermann Zimmi48
Researcher in Software Engineering. Develops @coq & its ecosystem. Likes to program with nice FP languages with type-inference, such as @ocaml or @elm

Télécom Paris Paris

@pamellies
Paul-André Melliès pamellies

IRIF, CNRS, Université Paris Cité, INRIA Paris, France

@coqbot
coqbot
Hello, I'm a bot, written in @ocaml. My sources are on GitHub. I can help you use GitLab CI for your GitHub project (among other things).

@coq

@Armael
Armaël Guéneau Armael

Inria Paris-Saclay

@anton-trunov
Anton Trunov anton-trunov
Compilers, formal verification

Dubai

@maximedenes
Maxime Dénès maximedenes
@ybertot
Yves Bertot ybertot

Inria

@ggonthier
Georges Gonthier ggonthier

Inria Saclay, France

@digama0
Mario Carneiro digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.

Chalmers University of Technology Gothenburg, Sweden

@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@hivert
Florent Hivert hivert
Professor in computer science in University Paris-Saclay / Orsay.

University Paris-Saclay@Orsay / LISN / CNRS / INRIA Orsay / South of Paris / France

@smimram
Samuel Mimram smimram
@pi8027
Kazuhiko Sakaguchi pi8027
Postdoc in the Plume team | Interests: interactive theorem proving, formalization of mathematics, proof by reflection, and parametricity

CNRS, ENS de Lyon, UCBL, LIP Lyon, France

@tabareau
Nicolas Tabareau tabareau
Nicolas Tabareau is a senior researcher at Inria, leading the Gallinette team in Nantes, working on type theory and the development of the Rocq Prover.

Inria France

@thery
Laurent Théry thery

INRIA Sophia Antipolis, France

@mortberg
Anders Mörtberg mortberg

Sweden

@simhu
Simon Huber simhu
@TheoWinterhalter
Théo Winterhalter TheoWinterhalter
Researcher, proof assistants and dependent types

INRIA Saclay Saclay

@gallais
G. Allais gallais

Glasgow, Scotland

@huitseeker
François Garillot huitseeker
Dabbling with streams & distributed data in close proximity to ☕.

4DE3 AD16 FA0A 584B 3C8D C054 3ACB 4CB1 5EA2 FFD6 Tiohtià:ke

@danr
Dan Rosén danr

@pharmbio

@erikmd
Erik Martin-Dorel erikmd
Software developer, ex-academic

Toulouse, France

@drouhling
Damien Rouhling drouhling
@ejgallego
Emilio Jesús Gallego Arias ejgallego
“La perfection est atteinte, non pas lorsqu'il n'y a plus rien à ajouter, mais lorsqu'il n'y a plus rien à retirer.”

Lean FRO Paris

@LaurenceRideau
Laurence LaurenceRideau
@johoelzl
Johannes Hölzl johoelzl

München

@avigad
Jeremy Avigad avigad

Carnegie Mellon University Pittsburgh

@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle

@affeldt-aist
affeldt-aist
@gares
Enrico Tassi gares
I'm a researcher in CS, mainly formal proofs and the implementation of proof assistants. I'm a hacker, a free software supporter

@coq @math-comp @LPCIC Inria Sophia-Antipolis

@grianneau
grianneau
@Sobernard
Sophie Bernard Sobernard
@strub
Pierre-Yves Strub strub
@amahboubi
Assia Mahboubi amahboubi