Charly Gries

According to our database, Charly Gries authored at least 1 paper in 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq.

Pierre Boutry, Charly Gries, Julien Narboux, Pascal Schreck

J. Autom. Reason., 2019