Mailing List:
cl-isabelle-users@lists.cam.ac.uk
Add newDisplay options
0
replies
Two phd/post-doc positions: FORMALIZATION AND VERIFICATION OF TRAFFIC RULES FOR AUTOMATED VEHICLES
started 2018-08-23 15:07:27 UTC
2018-08-23 15:07:27 UTC
Tobias Nipkow
2
replies
Type Instantiation on Terms
started 2018-08-22 18:44:39 UTC
2018-08-23 12:59:51 UTC
Burkhart Wolff
1
reply
Conjunction elimination failing for universally quantified conjunct
started 2018-08-19 14:43:25 UTC
2018-08-22 01:00:23 UTC
Makarius
0
replies
Bug/usability-report: find_theorem and sledgehammer cannot find shadowed Facts
started 2018-08-21 20:39:47 UTC
2018-08-21 20:39:47 UTC
Peter Zeller
0
replies
Quantum Computing
started 2018-08-21 17:46:47 UTC
2018-08-21 17:46:47 UTC
Anthony Bordg
14
replies
use_thy forgets ML declarations
started 2018-08-14 05:55:41 UTC
2018-08-21 14:22:24 UTC
Joshua Chen
20
replies
Help with Triangulation
started 2018-08-12 03:13:15 UTC
2018-08-20 04:56:37 UTC
Ken Kubota
0
replies
Grothendieck's utopia and genetic algorithms
started 2018-08-20 04:55:20 UTC
2018-08-20 04:55:20 UTC
José Manuel Rodriguez Caballero
1
reply
Value restriction in generated SML code
started 2018-08-17 18:14:09 UTC
2018-08-20 04:55:20 UTC
Florian Haftmann
1
reply
AFP 2018
started 2018-08-18 10:18:30 UTC
2018-08-20 04:13:09 UTC
G***@data61.csiro.au
0
replies
Announcing Isabelle2018
started 2018-08-16 01:23:02 UTC
2018-08-16 01:23:02 UTC
Makarius
9
replies
facts
started 2018-08-06 07:48:18 UTC
2018-08-15 20:10:38 UTC
José Manuel Rodriguez Caballero
5
replies
Isabelle2018-RC1: No error when loading same theory under two names
started 2018-07-18 20:23:01 UTC
2018-08-15 16:30:12 UTC
Makarius
9
replies
Noteworthy Isabelle proof developments for a survey paper
started 2018-08-07 13:25:48 UTC
2018-08-14 19:38:01 UTC
Michal Wallace
1
reply
Presumably last release candidate: Isabelle2018-RC4
started 2018-08-07 18:43:04 UTC
2018-08-14 18:11:21 UTC
Makarius
4
replies
Isabelle on MacBook Pro 2018
started 2018-08-14 11:27:26 UTC
2018-08-14 17:32:19 UTC
Makarius
1
reply
apparently spurious error re antiquotations
started 2018-08-14 09:40:14 UTC
2018-08-14 17:04:10 UTC
Makarius
3
replies
weird symbols in source files
started 2018-08-14 09:08:25 UTC
2018-08-14 17:02:42 UTC
Makarius
0
replies
New AFP article: Minsky Machines
started 2018-08-14 14:36:18 UTC
2018-08-14 14:36:18 UTC
Tobias Nipkow
16
replies
Strange errors when using funpow (f^^n)
started 2018-07-09 16:57:50 UTC
2018-08-13 16:11:39 UTC
Tobias Nipkow
2
replies
Reasoning about substitutions to Isabelle´s syntax
started 2018-08-07 00:29:27 UTC
2018-08-11 21:46:20 UTC
Nemouchi Yakoub
12
replies
Direct imports of material below "Main"
started 2018-07-13 17:28:26 UTC
2018-08-10 16:55:40 UTC
Florian Haftmann
6
replies
Confusing behaviour: free variables with the same name but different types
started 2018-08-01 12:07:58 UTC
2018-08-10 01:40:22 UTC
Lars-Henrik Eriksson
1
reply
[isabelle, Coq-Club, MetaMath] The Zande's Challenge
started 2018-08-08 14:21:14 UTC
2018-08-09 09:27:32 UTC
Corey Richardson
0
replies
PhD opportunities at the Australian National University
started 2018-08-09 06:47:46 UTC
2018-08-09 06:47:46 UTC
Jeremy Dawson
3
replies
Backwards-behaviour of THEN_ALL_NEW and "; " method combinator
started 2018-08-02 20:50:31 UTC
2018-08-08 01:56:04 UTC
Makarius
8
replies
installing an Isar command
started 2018-08-06 11:53:46 UTC
2018-08-07 14:25:45 UTC
Makarius
5
replies
Authenticity proofs with Inductive Approach plus extension - need help
started 2018-08-02 18:50:06 UTC
2018-08-06 19:15:26 UTC
Kristof Teichel
3
replies
References about mistakes and gaps in papers
started 2018-07-29 04:17:06 UTC
2018-08-05 21:16:45 UTC
Tjark Weber
0
replies
2018 RC3: metis gripes about an "unused" theorem it depends on?
started 2018-08-04 12:07:47 UTC
2018-08-04 12:07:47 UTC
Michal Wallace
Click to Load More...
Loading...