Newsgroup:
fa.isabelle
Add New Display Options
41
replies
Solution Manual for Discrete Mathematics with Applications 4th Edition by Susanna S. Epp
started 2014-12-07 14:34:37 UTC
2022-09-01 04:23:50 UTC
Muhammad Aiyaz
1
reply
i want solution of discrete mathematics
started 2017-02-02 13:34:48 UTC
2017-10-21 12:45:24 UTC
mohsina Iqbal
1
reply
[isabelle] Vacancies for PhD and PostDoc Positions in Theoretical Computer Science
started 2010-03-18 15:14:01 UTC
2017-04-26 14:39:42 UTC
i***@gmail.com
1
reply
[isabelle] Cantor's Theorem
started 2016-01-02 03:36:02 UTC
2017-04-25 16:29:59 UTC
Jan Burse
1
reply
[isabelle] vim
started 2015-08-01 12:29:25 UTC
2016-11-03 21:07:44 UTC
m***@gmail.com
5
replies
[isabelle] New in the AFP: Intersecting Chords Theorem
started 2016-10-11 15:32:22 UTC
2016-10-13 21:55:38 UTC
Lawrence Paulson
5
replies
[isabelle] finishing a proof
started 2016-10-11 21:07:07 UTC
2016-10-13 21:55:34 UTC
Alexander Kogtenkov via Cl-isabelle-users
4
replies
[isabelle] Isabelle2016-1-RC0 available for testing
started 2016-10-06 15:10:52 UTC
2016-10-13 18:20:59 UTC
Lars Hupel
5
replies
[isabelle] Using an assumption as a rule
started 2016-10-06 14:31:47 UTC
2016-10-06 15:10:50 UTC
Peter Lammich
2
replies
[isabelle] Help defining a mutually recursive function
started 2016-10-05 14:57:40 UTC
2016-10-06 14:31:45 UTC
Corey Richardson
1
reply
[isabelle] Model checking of Simulink components with Isabelle
started 2016-10-01 19:20:53 UTC
2016-10-04 14:44:00 UTC
Viorel Preoteasa
4
replies
[isabelle] pairs and friends
started 2016-09-29 16:18:14 UTC
2016-10-01 19:20:55 UTC
Thomas Sternagel
3
replies
[isabelle] Problems with Code-Generator
started 2016-09-29 16:18:10 UTC
2016-09-30 18:28:28 UTC
Andreas Lochbihler
3
replies
[isabelle] Function definition
started 2016-09-27 13:11:43 UTC
2016-09-27 16:52:30 UTC
T***@data61.csiro.au
2
replies
[isabelle] Mutual coinduction
started 2016-09-19 22:15:55 UTC
2016-09-26 18:43:29 UTC
Thomas Sternagel
3
replies
[isabelle] Tactic failed for Friends
started 2016-09-26 16:21:27 UTC
2016-09-26 18:06:29 UTC
Manuel Eberl
1
reply
[isabelle] Mysterious behavior of "let"
started 2016-09-19 22:15:51 UTC
2016-09-19 22:15:53 UTC
Andreas Lochbihler
4
replies
[isabelle] Structuring a Modular Project
started 2016-09-19 22:15:41 UTC
2016-09-19 22:15:49 UTC
scott constable
4
replies
[isabelle] case rule and OF
started 2016-09-19 22:15:31 UTC
2016-09-19 22:15:39 UTC
Andreas Lochbihler
12
replies
[isabelle] AFP Incompleteness Entry
started 2016-09-17 03:30:00 UTC
2016-09-19 22:15:27 UTC
G***@data61.csiro.au
2
replies
[isabelle] Question about numerals
started 2016-08-13 20:38:30 UTC
2016-09-16 01:07:52 UTC
Lars Hupel
2
replies
[isabelle] Reconciling FinFuns in Distro and AFP
started 2016-09-01 18:57:15 UTC
2016-09-16 01:07:50 UTC
Lars Hupel
3
replies
[isabelle] Proof failed for datatype
started 2016-09-15 02:58:46 UTC
2016-09-16 01:07:48 UTC
C***@data61.csiro.au
1
reply
[isabelle] Behavior of configuration options in local theories
started 2016-09-01 18:57:17 UTC
2016-09-15 02:58:44 UTC
Makarius
1
reply
[isabelle] a question of formalization of parameterized-word (bit-vector)
started 2016-09-01 18:57:25 UTC
2016-09-01 18:57:27 UTC
C. Diekmann
24
replies
[isabelle] Type definitions in Isabelle; article "A Consistent Foundation for Isabelle/HOL" by Kunčar/Popescu
started 2016-08-19 01:19:19 UTC
2016-09-01 18:57:13 UTC
Ken Kubota
2
replies
[isabelle] Telling auto to use an eisbach method
started 2016-09-01 18:57:07 UTC
2016-09-01 18:57:11 UTC
Lawrence Paulson
6
replies
[isabelle] sledgehammer issue
started 2016-08-31 20:11:31 UTC
2016-09-01 18:57:03 UTC
Jasmin Blanchette
13
replies
[isabelle] The presentation of Goedel's First Incompleteness Theorem by Lawrence C. Paulson (and others)
started 2015-12-22 16:58:29 UTC
2016-08-13 20:38:36 UTC
Ken Kubota
1
reply
[isabelle] Issue with smt and linear arithmetic
started 2016-08-13 12:56:18 UTC
2016-08-13 20:38:32 UTC
Lawrence Paulson
Click to Load More...
Loading...