4206 Threads
13619 Posts
Ranked #599
First post
2008-08-18 02:55:50 UTC
Mailing List:
cl-isabelle-users@lists.cam.ac.uk
Add new
Display options
Show
threads
Order By
Last Message Date - Newest First
Last Message Date - Oldest First
Replycount - Most First
Replycount - Less First
Save
0
replies
Applications to medicine
started
2018-08-03 16:50:21 UTC
2018-08-03 16:50:21 UTC
José Manuel Rodriguez Caballero
1
reply
Isabelle2018 RC3: "verit: Abnormal termination with exit code 127"
started
2018-08-03 11:46:39 UTC
2018-08-03 12:32:16 UTC
Jasmin Blanchette
3
replies
Strange/inconvenient behaviour of "method+" (repeat1) when chained facts are present
started
2018-08-02 17:15:00 UTC
2018-08-02 19:59:12 UTC
Makarius
7
replies
infinite product with formal variable
started
2018-08-01 05:09:16 UTC
2018-08-02 19:23:29 UTC
José Manuel Rodriguez Caballero
3
replies
How do the induct, induction, and induct_tac method work internally?
started
2018-08-02 18:16:05 UTC
2018-08-02 18:41:16 UTC
Nagashima, Yutaka
1
reply
sledgehammer+vampire 4.0 often fails
started
2018-08-02 01:36:11 UTC
2018-08-02 01:48:05 UTC
Jasmin Blanchette
1
reply
isabelle build -B doesn't include all dependents
started
2018-07-17 17:56:27 UTC
2018-08-02 01:29:54 UTC
Makarius
2
replies
Problem - Sledgehammer
started
2018-08-01 16:37:24 UTC
2018-08-01 19:30:29 UTC
Jørgen Villadsen
0
replies
Call for Participants: Lean Together 2019
started
2018-08-01 14:45:37 UTC
2018-08-01 14:45:37 UTC
Rob Lewis
0
replies
Call for Papers Software Verification and Testing Track @ ACM SAC 2019
started
2018-07-31 14:28:48 UTC
2018-07-31 14:28:48 UTC
Matthias Güdemann
0
replies
Cl-isabelle-users Digest, Vol 157, Issue 24
started
2018-07-30 13:05:29 UTC
2018-07-30 13:05:29 UTC
José Manuel Rodriguez Caballero
1
reply
the complete and balanced of binary tree in HOL/Libraries/Tree.thy
started
2018-07-29 14:26:00 UTC
2018-07-30 11:29:40 UTC
Tobias Nipkow
2
replies
Nitpick counterexample for provable lemma
started
2018-07-04 12:58:05 UTC
2018-07-29 15:43:00 UTC
Makarius
9
replies
Threads tab in Monitor panel (Isabelle2018-RC0)
started
2018-06-08 14:46:25 UTC
2018-07-29 14:28:09 UTC
Makarius
3
replies
100 theorems: the platonic solids
started
2018-07-24 11:44:16 UTC
2018-07-29 01:24:39 UTC
Makarius
3
replies
Consolidated Isabelle2018-RC2 available for testing
started
2018-07-23 00:47:05 UTC
2018-07-29 00:36:21 UTC
Makarius
2
replies
Isabelle2018-RC0: Confusing cursor behavior with control sequences in jEdit
started
2018-06-29 02:44:17 UTC
2018-07-28 23:22:22 UTC
Makarius
0
replies
2 Post-doc positions
started
2018-07-27 14:43:20 UTC
2018-07-27 14:43:20 UTC
Mateja Jamnik
0
replies
Nominal2 and Code Generation
started
2018-07-27 12:07:35 UTC
2018-07-27 12:07:35 UTC
Mark Wassell
0
replies
PhD Position on the formalization of automated reasoning in Isabelle/HOL
started
2018-07-25 19:44:43 UTC
2018-07-25 19:44:43 UTC
Jasmin Blanchette
4
replies
ignoring convergence issues
started
2018-07-21 08:06:14 UTC
2018-07-25 06:26:41 UTC
José Manuel Rodriguez Caballero
1
reply
AFP release fork tomorrow
started
2018-07-23 17:23:00 UTC
2018-07-24 20:11:10 UTC
G***@data61.csiro.au
2
replies
disable the simplication rule
started
2018-07-24 14:17:26 UTC
2018-07-24 15:25:20 UTC
王淑灵
0
replies
CPP 2019: Call for Papers
started
2018-07-24 14:37:04 UTC
2018-07-24 14:37:04 UTC
Magnus Myreen
2
replies
"also have" identity proof steps
started
2018-07-21 13:49:03 UTC
2018-07-23 14:32:15 UTC
Dominique Unruh
2
replies
automatically proving or disproving systems of inequalities
started
2018-07-19 04:34:01 UTC
2018-07-21 13:49:36 UTC
Laurent Thery
0
replies
new AFP entry: Pricing in discrete financial models
started
2018-07-18 22:58:59 UTC
2018-07-18 22:58:59 UTC
G***@data61.csiro.au
2
replies
From real to natural
started
2018-07-15 04:06:39 UTC
2018-07-16 12:21:22 UTC
Peter Lammich
5
replies
complex
started
2018-07-09 20:52:56 UTC
2018-07-15 17:11:13 UTC
Anthony Bordg
6
replies
parsing strings
started
2018-07-10 06:26:12 UTC
2018-07-14 05:17:42 UTC
Makarius
Click to Load More...
Loading...