| 
Math
 » 
Mathematical Logics
Parent Categories/Forums: Math
Edit this Forum

Mathematical Logics

Search:
Child Forums (3):
  • Coq: (10/10)
    Coq
  • Twelf: (0/10)
    Twelf
To migrate this forum to the new Nabble2 system, please post a request in the Nabble Support forum — Learn more
Post to Mathematical Logics Post New Message  ::  Alert me of new posts  ::  Rating Filter:
« Newest  ‹ Newer  —  Threads 1-35  —  Older ›

Thread (1426 Threads) Rating Replies Last Message Child Forum

Match_subterm? by Cody Roux
2
by AUGER Cédric

problem with xml output in 8.2 by Benedikt.AHRENS
0
by Benedikt.AHRENS

guardedness hidden by induction by Dimitri Hendriks-2
6
by Adam Chlipala-3

TFP 2010 - Call for Papers by TFP 2010
0
by TFP 2010

Permutations by Bas Spitters
3
by François Garillot-2

Fresh lists using induction-recursion by Bas Spitters
0
by Bas Spitters

PhD studentships: Reasoning about Relaxed Memory Models by Peter Sewell
0
by Peter Sewell

Solving Equation of degree of 4 by Sylvain Heraud
0
by Sylvain Heraud

Bad performance by Flavio L. C. de Mour...
19
by AUGER Cédric

Mutual-Mutual Induction by Thomas Thüm
7
by Adam Chlipala-3

SBMF 2010 - First Call for Papers by leila-2
0
by leila-2

The rules of pCIC by Christian Doczkal
3
by Andrej Bauer

Classical axiomatisation of reals by Pierre-Marie Pédrot
5
by Bas Spitters-3

Generaling parameteric Fixpoint parameters by roconnor
3
by Stéphane Lescuyer-3

Library for partial functions by Andreas Abel
0
by Andreas Abel

Implementation of tactics at the OCaml level by David Pereira-3
0
by David Pereira-3

Ordinal induction by Edsko de Vries-3
6
by Edsko de Vries-4

inl and inr with both arguments inferred? by Thorsten Altenkirch
3
by Matthieu Sozeau

Co-recursion question by Jeffrey Harris-5
6
by AUGER Cédric

Complexity of proof terms generated by the inversion tactic by greenrd
3
by roconnor

Meta theory: induction over terms with abstract variables by Robbert Krebbers
9
by roconnor

Proof Irrelevance and Eta Conversion by muad
1
by hugo.herbelin

"suppose it is ... with" in C-zar by Lauri Alanko-3
1
by Pierre Corbineau-2

Functional Induction tactic being experimental by Sunil Kothari
2
by Sunil Kothari

Parametricity in Mutual Inductive Types by roconnor
6
by Christine Paulin-2

A not so FSet specific question about destruction by Thomas Braibant-2
12
by muad

Induction principles for "exotic" functions by Thomas Braibant-2
3
by Pierre Courtieu-3

eval compute rule by Flavio L. C. de Mour...
2
by Flavio L. C. de Mour...

Numerical Recipes in Coq by Yann Le Du-5
1
by Bas Spitters

binary distribution for Leopard (and Snow Leopard) by Thorsten Altenkirch
45
by Pierre Letouzey-3

Call for Participation: VSTTE 2009 by Jean-Christophe Fill...
0
by Jean-Christophe Fill...

Workshop slides available and cum laude for Russell O'Connor by Bas Spitters
0
by Bas Spitters

JFLA 2010: Deadline extension to 22 October 2009 by Micaela Mayero-2
0
by Micaela Mayero-2

JFLA 2010: extension jusqu'au 22 octobre 2009 by Micaela Mayero-2
0
by Micaela Mayero-2

Pattern matching on vectors by Jeff Vaughan
8
by Jean-Francois Monin
Post to Mathematical Logics Post New Message  ::  Alert me of new posts  ::  Atom feed for Mathematical Logics
« Newest  ‹ Newer  —  Threads 1-35  —  Older ›
Free embeddable forum powered by Nabble Forum Help