| 
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 1-35  —  Older ›

Thread (952 Threads) Rating Replies Last Message Child Forum

Re: Coq-club digest, Vol 1 #1172 - 3 msgs by Cedric.Auger
3
by Bruno Barras

system F naturals by Paul Brauner-2
2
by Thorsten Altenkirch

Coqdoc - not a bytecode executable file by Mateusz Malinowski
6
by Stéphane Glondu

Program Fixpoint and solving obligations (Coq 8.2 beta/svn) by Brian Aydemir
2
by Matthieu Sozeau

(no subject) by Cedric.Auger
2
by Matthieu Sozeau

TLDI 2009 Call for Papers by Amal Ahmed
0
by Amal Ahmed

Coq 8.2: Sort polymorphism and the module system by Brian Aydemir
0
by Brian Aydemir

newbie question by Balazs Vegvari
6
by frédéric BESSON

Axiom of choice by Elnatan Reisner
4
by Thorsten Altenkirch

Questions about eq_rect by Samuel E. Moelius II...
6
by Conor McBride-2

TPHOLs becomes ITP by Tobias Nipkow
0
by Tobias Nipkow

Type classes in Coq 8.2 by Brian Aydemir
1
by Matthieu Sozeau-2

2nd CFP: JAR Special Issue on OS Verification by Gerwin Klein
0
by Gerwin Klein

automatic compile with hierarchical module names by Roman Beslik
3
by Adam Chlipala-3

proofs related to mutually inductive language constructs by Ersoy Bayramoglu-2
3
by Matthieu Sozeau-2

Prefixes of a vector by Samuel E. Moelius II...
11
by Matthieu Sozeau-2

How to implement a 'module type' in multi files by Jianzhou Zhao
0
by Jianzhou Zhao

Mutually recursive co/inductive types by Venanzio Capretta-4
0
by Venanzio Capretta-4

Mutually recursive co/inductive types by Jim Apple-10
0
by Jim Apple-10

Questions on Convertibility and Dependent Types by Samuel E. Moelius II...
0
by Samuel E. Moelius II...

WMM'08 call for participation by Karl Crary
0
by Karl Crary

CFP: PLPV 2009 by Thorsten Altenkirch
0
by Thorsten Altenkirch

Parser binary name by Alan Dunn-3
1
by Bruno Barras

Looking for Coq developers by Michael Day
0
by Michael Day

Codata: problem with guardedness condition? by Samuel Bronson
2
by Nils Anders Danielss...

PhD studentships available at Glasgow University by Muffy Calder
0
by Muffy Calder

problems with functionnal inductive types by Cedric.Auger
2
by Matthieu Sozeau-2

About dependent elimination or inversion? by Gyesik Lee-2
3
by Gyesik Lee-2

rewrite and instantiation of existential variables by Andrew McCreight-2
0
by Andrew McCreight-2

1 year fellowship for a doctoral researcher on program analysis by Wim Vanhoof
0
by Wim Vanhoof

Coq doesn't match identic types? by see tolearn
7
by Samuel Bronson

"fold P in P;unfold P in P" loop by Cedric.Auger
1
by Andrew McCreight-2

VMCAI 2009: Submission is open by Markus Mueller-Olm
0
by Markus Mueller-Olm

SOFSEM 2009 - Call for Paper by SOFSEM09-2
0
by SOFSEM09-2

debugging autorewrite? by Andrew McCreight-2
0
by Andrew McCreight-2
Post to Mathematical Logics Post New Message  ::  Alert me of new posts  ::  Atom feed for Mathematical Logics
« Newest  ‹ Newer  —  Threads 1-35  —  Older ›
Free Forum Powered by Nabble Forum Help