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

Mathematical Logics

Search:
Child Forums (3):
  • Coq: (10/10)
    Coq
  • Twelf: (0/10)
    Twelf
Post to Mathematical Logics Post New Message  ::  Alert me of new posts  ::  Rating Filter:
« Newest  ‹ Newer  —  Threads 36-70  —  Older ›

Thread (1052 Threads) Rating Replies Last Message Child Forum

Re: Lists & Strings by satrajit
2
by satrajit

setoid_rewrite and constant unfolding by Mark Dickinson
2
by Mark Dickinson

CFP: Special Issue Authoring, Digitalization and Management of Mathematical Knowledge by admmk09
0
by admmk09

Guide to Coq Sources by Razvan Voicu
10
by Pierre Letouzey-3

An interesting reference by Pierre Lescanne-2
0
by Pierre Lescanne-2

CALL FOR WORKSHOP PROPOSALS: TPHOLs 2009 by Makarius
0
by Makarius

Inversion/injection/congruence wrt dependent pairs by Andrew Kennedy
0
by Andrew Kennedy

CALL FOR PAPERS: TPHOLs 2009 by Christian Urban-2
0
by Christian Urban-2

Call to Participation (In French) by Pierre Casteran
0
by Pierre Casteran

ECOOP 2009 Call for Papers by David.Clarke
0
by David.Clarke

how to make ring_nat available by Jim Burton
5
by Yves Bertot

proof_irrelevance question by Samuel E. Moelius II...
2
by Stéphane Glondu

equalities at Type by Robert Dockins
1
by Adam Chlipala-3

Mutually inductive types referring to each other by nadeemabdulhamid
6
by Cedric.Auger

Re: Help with a seemingly obvious proof. by satrajit
3
by satrajit

Coq 8.2: detection of impossible clause in dependent pattern-matching by nadeemabdulhamid
0
by nadeemabdulhamid

unload prelude? by Thorsten Altenkirch
4
by Pierre Letouzey-3

Finite Map - Unable to prove a simple lemma by Sunil Kothari
2
by Sunil Kothari

substitution lemma in de Bruijn notation by Christian Urban-2
0
by Christian Urban-2

substitution lemma in de Bruijn notation by Flavio L. C. de Mour...
2
by Flavio L. C. de Mour...

forall n m (H1 H2:le n m), H1=H2. by roconnor
7
by frederic.blanqui

Induction step in Coq by Flavio L. C. de Mour...
3
by Flavio L. C. de Mour...

Second CFP - JAR special issue for PLMMS by Freek Wiedijk
0
by Freek Wiedijk

Interaction of coercions and definitions by Mark Dickinson
3
by Mark Dickinson

Second CFP - JAR special issue for PLMMS by Makarius
0
by Makarius

Tableaux 2009 CfP by Viorica Sofronie-Sto...
0
by Viorica Sofronie-Sto...

UNABLE TO ACCESS TUTORIAL by sachin!!
1
by cousineau

ALICS workshop at LPAR by Geoff Sutcliffe
0
by Geoff Sutcliffe

Unable to download coq by sachin!!
1
by Andrew McCreight-2

Copy/paste from CoqIde right-side windows by jkff
5
by Thery Laurent

RTA'09 1st CFP by Hitoshi Ohsaki
0
by Hitoshi Ohsaki

Proof irrelevance for le by Julien Forest
2
by frederic.blanqui

CFP: MBT 2009, Fifth Workshop on Model-Based Testing at ETAPS 2009 by Bernd Finkbeiner
0
by Bernd Finkbeiner

Problems with coinduction by Luke Palmer-2
2
by Stéphane Glondu

JFLA 2009: extension jusqu'au 22 octobre 2008 by Alan Schmitt
0
by Alan Schmitt
Post to Mathematical Logics Post New Message  ::  Alert me of new posts  ::  Atom feed for Mathematical Logics
« Newest  ‹ Newer  —  Threads 36-70  —  Older ›
LightInTheBox - Buy quality products at wholesale price!
Free Forum Powered by Nabble Forum Help