9 Feb 00:02 2016Ramana Kumar
*word problem
9 Feb 01:28 2016Ramana Kumar
**word problem
9 Feb 02:26 2016Mario Carneiro
***word problem
9 Feb 09:15 2016Anthony Fox
***word problem
8 Feb 15:41 2016Sebastian Gerwinn
*FORMATS 2016 - First Call for Papers
5 Feb 04:42 2016Nadeem Iqbal
*About Binary Relations
5 Feb 04:52 2016Ramana Kumar
**About Binary Relations
5 Feb 07:48 2016Nadeem Iqbal
***About Binary Relations
5 Feb 08:19 2016Ramana Kumar
****About Binary Relations
5 Feb 09:56 2016Anthony Fox
*****About Binary Relations
5 Feb 14:12 2016Nadeem Iqbal
******About Binary Relations
28 Jan 10:53 2016Adnan Rashid
*About proof of an integral theorem
29 Jan 06:40 2016John Harrison
**About proof of an integral theorem
27 Jan 07:26 2016Havelund, Klaus (349F
*[fm-announcements] NFM 2016 - third call for papers
26 Jan 15:27 2016Ken Kubota
*Goedel's paradox, canonical definitions vs. instances/models (dependen
23 Jan 12:48 2016Martin Leucker
*CfP: ICTAC 2016
18 Jan 20:19 2016Havelund, Klaus (349F
*[fm-announcements] RV 2016, Sept 23-30 2016, Madrid, Spain - 1st Call
15 Jan 18:29 2016Geoff Sutcliffe
*UNIF 2016 - Call for Papers
18 Jan 19:56 2016Carlo A. Furia
*TAP 2016 (Tests & Proofs): Final CfP
20 Jan 14:21 2016Roopsha Samanta
*CFP: CAV 2016, July 17-23, Toronto [Abstract Submission: Jan 24]
20 Jan 03:36 2016Alwen Tiu
*Postdoc position on hardware verification at NTU Singapore
20 Jan 02:48 2016Alwen Tiu
*Postdoc position on security protocol verification at NTU Singapore
20 Jan 02:55 2016Alwen Tiu
**Postdoc position on security protocol verification at NTU Singapore
18 Jan 20:07 2016Jasmin Blanchette
*TAP (Tests and Proofs) 2016, final call for papers
13 Jan 18:09 2016Geoff Sutcliffe
*AiML-2016: 1ST CALL FOR PAPERS
7 Jan 13:43 2016Maurice ter Beek
*FMICS-AVoCS 2016: call for papers
7 Jan 12:42 2016Ken Kubota
*The violation of type restrictions in a presentation of Goedel's First
5 Jan 18:28 2016Havelund, Klaus (349F
*[fm-announcements] NFM 2016 - second call for papers
22 Dec 15:48 2015Christoph Sprenger
*Multiple PhD positions in Information Security at ETH Zurich
22 Dec 13:05 2015Ada
*[SPAM] some questions about the use of THEN and THENL in HOL4
22 Dec 13:30 2015Ramana Kumar
**[SPAM] some questions about the use of THEN and THENL in HOL4
20 Dec 19:46 2015fabio.zanasi
*CMCS 2016 : Last Call for Papers
15 Dec 15:14 2015康漫
*some questions about the proving process in HOL4
15 Dec 20:03 2015Ramana Kumar
**some questions about the proving process in HOL4
15 Dec 13:48 2015康漫
*[SPAM] Re: some questions about the proving process in HOL4
15 Dec 14:08 2015Thomas Tuerk
**[SPAM] Re: some questions about the proving process in HOL4
15 Dec 04:27 2015Ada
*[SPAM] some questions about the proving process in HOL4
15 Dec 04:34 2015Ramana Kumar
**[SPAM] some questions about the proving process in HOL4
15 Dec 04:54 2015Jeremy Dawson
**[SPAM] some questions about the proving process in HOL4
14 Dec 15:10 2015Serge Autexier
*Call for Workshops - 9th Conference on Intelligent Computer Mathematic
14 Dec 20:49 2015Jasmin Blanchette
*ITP 2016: Call for Papers
8 Dec 14:46 2015Sung-Shik Jongmans
*CFP: Winter School on Formal Methods
8 Dec 08:51 2015Serge Autexier
*Call for Papers - 9th Conference on Intelligent Computer Mathematics -
7 Dec 16:11 2015Konrad Slind
*NFM 2016 - Call for Papers
7 Dec 15:18 2015Ada
*How to specify the data type in a recursive definition in HOL4
7 Dec 18:18 2015Waqar Ahmad
**How to specify the data type in a recursive definition in HOL4
4 Dec 14:44 2015Andrea Condoluci
*Tags: oracles, axioms
4 Dec 17:26 2015Anthony Fox
**Tags: oracles, axioms
6 Dec 15:51 2015Andrea Condoluci
***Tags: oracles, axioms
8 Dec 10:37 2015Anthony Fox
****Tags: oracles, axioms
10 Dec 11:50 2015Andrea Condoluci
*****Tags: oracles, axioms
3 Dec 11:23 2015Ali Abbassi
*Holmake Problem
4 Dec 00:35 2015Michael Norrish
**Holmake Problem
4 Dec 09:19 2015Anthony Fox
***Holmake Problem
4 Dec 10:30 2015Ali Abbassi
****Holmake Problem
4 Dec 17:21 2015Ian Zimmerman
*****Holmake Problem
4 Dec 22:08 2015Ramana Kumar
******Holmake Problem
19 Jan 09:40 2016Ashish Darbari
****New positions in formal verification at Imagination Technologies
2 Dec 22:46 2015Berardi Stefano
*Call for Papers for: International Workshop on Classical Logic and Com
30 Nov 16:20 2015Lin, Yuhui
*First Call for Papers: Special Issue of the SCP on Automated Verificat
30 Nov 08:42 2015Ada
*some questions about the use of HD and TL in listTheory
30 Nov 10:18 2015Ramana Kumar
**some questions about the use of HD and TL in listTheory
30 Nov 10:29 2015Waqar Ahmad
**some questions about the use of HD and TL in listTheory
30 Nov 11:28 2015Yong Kiam
***some questions about the use of HD and TL in listTheory
30 Nov 08:53 2015Jeremy Dawson
**some questions about the use of HD and TL in listTheory
29 Nov 13:08 2015Ada
*回复: About the use of symbol | in HOL4
29 Nov 12:15 2015Ada
*About the use of symbol | in HOL4
29 Nov 12:56 2015Jeremy Dawson
**About the use of symbol | in HOL4
27 Nov 08:18 2015Ada
*How to transform the proof form
27 Nov 14:54 2015"Mark Adams"
**How to transform the proof form
26 Nov 04:50 2015Havelund, Klaus (349F
*[fm-announcements] NFM 2016 - first call for papers
24 Nov 10:50 2015Laurent Thery
*request for One Paper
20 Nov 10:44 2015shengyu shen
*what is the application of manual theorem proving today in hardware ve
20 Nov 12:08 2015Thomas Melham
**what is the application of manual theorem proving today in hardware ve
20 Nov 13:43 2015shengyu shen
***what is the application of manual theorem proving today in hardware ve
20 Nov 14:50 2015Black, Paul E.
**what is the application of manual theorem proving today in hardware ve
19 Nov 02:14 2015shengyu shen
*where is the higher order logic in HOL?
19 Nov 03:23 2015Michael Norrish
**where is the higher order logic in HOL?
19 Nov 05:18 2015Konrad Slind
***where is the higher order logic in HOL?
18 Nov 18:01 2015Muhammad Nadeem Iqbal
*Definition of Binary Relation in HOL
18 Nov 18:28 2015Ramana Kumar
**Definition of Binary Relation in HOL
19 Nov 11:31 2015Muhammad Nadeem Iqbal
***Definition of Binary Relation in HOL
19 Nov 12:14 2015Ramana Kumar
****Definition of Binary Relation in HOL
19 Nov 12:21 2015Yong Kiam
*****Definition of Binary Relation in HOL
20 Nov 15:29 2015Muhammad Nadeem Iqbal
******Definition of Binary Relation in HOL
20 Nov 15:46 2015Ramana Kumar
*******Definition of Binary Relation in HOL
22 Nov 01:35 2015Michael Norrish
********Definition of Binary Relation in HOL
18 Nov 08:42 2015Ramana Kumar
*proof structure in Coq
18 Nov 09:41 2015Freek Wiedijk
**proof structure in Coq
18 Nov 09:52 2015Ramana Kumar
***proof structure in Coq
18 Nov 10:44 2015"Mark Adams"
**proof structure in Coq
17 Nov 13:38 2015shengyu shen
*is it a bad habit to use "by" mechanism too often?
17 Nov 16:49 2015Ramana Kumar
**is it a bad habit to use "by" mechanism too often?
18 Nov 01:34 2015shengyu shen
**is it a bad habit to use "by" mechanism too often?
17 Nov 03:25 2015shengyu shen
*how to prove by contradiction
17 Nov 08:16 2015Ramana Kumar
**how to prove by contradiction
17 Nov 09:39 2015Ramana Kumar
***how to prove by contradiction
16 Nov 13:39 2015shengyu shen
*what is the meaning of ?-
16 Nov 13:42 2015Ramana Kumar
**what is the meaning of ?-
16 Nov 12:59 2015shengyu shen
*how to search my theorems with DB.match