INTERACTIVE THEOREM PROVING
Experts
- Thierry Coquand
- Dionysis Zindros
- Lawrence C. Paulson
- Carsten Thomassen
- Vincent Y. F. Tan
- Silas L. Fong
- Andrea Asperti
- Alexander Rabinovich
- Kin K. Leung
- Jeremy Avigad
- Ananthram Swami
- Liang Ma
- Martin Tancer
- Zoltán Ésik
- Jean-François Dufourd
- Peter Frankl
- Ting He
- Massimo Lauria
- Don Towsley
- Alan Bundy
- Ilse Fischer
- Amitabha Tripathi
- Vojtech Rödl
- Peter Borg
- Himanshu Tyagi
- Assia Mahboubi
- Zuzana Patáková
- Shun Watanabe
- Nicola Galesi
- Éric Colin de Verdière
- Daniel Wichs
- Matteo Campanelli
- Christoph Benzmüller
- Haryono Tandra
- Aggelos Kiayias
- Laurent Théry
- Ken-ichi Kawarabayashi
- Christoph Lüth
- Karen Meagher
Venues
- CoRR
- Am. Math. Mon.
- Discret. Math.
- J. Comb. Theory, Ser. A
- J. Symb. Log.
- ITP
- Electron. J. Comb.
- J. Comb. Theory, Ser. B
- Eur. J. Comb.
- Electron. Colloquium Comput. Complex.
- Theor. Comput. Sci.
- IACR Cryptol. ePrint Arch.
- Notre Dame J. Formal Log.
- Math. Log. Q.
- IEEE Trans. Inf. Theory
- Arch. Math. Log.
- J. Graph Theory
- J. Autom. Reason.
- Stud Logica
- Inf. Process. Lett.
- CADE
- CPP
- Comb. Probab. Comput.
- Discret. Comput. Geom.
- Ann. Pure Appl. Log.
- J. Symb. Comput.
- SIAM Rev.
- Soc. Choice Welf.
- Appl. Math. Lett.
- Log. Methods Comput. Sci.
- Australas. J Comb.
- Comb.
- Graphs Comb.
- TPHOLs
- Des. Codes Cryptogr.
- J. Philos. Log.
- Fundam. Informaticae
- Games Econ. Behav.
- ISIT
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend