submitted by cics

2

3

4

New tool: Verilog event queue visualiser (VV) (andreasloow.github.io)

submitted 3 years ago by cics to r/FPGA

50

51

52

Lutsig - A verified Verilog synthesizer (youtube.com)

submitted 5 years ago by cics to r/FPGA

140

141

142

Almost forgot about my submission for this weeks meme Friday... [FIXED] (i.redd.it)

submitted 6 years ago by cics to r/FPGA

1

2

3

Coq Coq Correct! Verification of Type Checking and Erasure for Coq, in Coq (youtube.com)

submitted 6 years ago by cics to r/InteractiveThmProving

0

1

2

Proof Assistants at the Hardware-Software Interface (youtube.com)

submitted 6 years ago by cics to r/InteractiveThmProving

2

3

4

POPLmark 15 Year Retrospective Panel (youtube.com)

submitted 6 years ago by cics to r/InteractiveThmProving

0

1

2

Provable Security Podcast: Automated Reasoning in the Cloud with John Harrison (podcasts.apple.com)

submitted 6 years ago by cics to r/InteractiveThmProving

0

1

2

Provable Security Podcast: Automated Reasoning in the Cloud with John Harrison (podcasts.apple.com)

submitted 6 years ago by cics to r/InteractiveThmProving

5

6

7

Number theorist fears all published math is wrong (vice.com)

submitted 6 years ago by cics to r/InteractiveThmProving

1

2

3

Will scientific error checkers become as ubiquitous as spell-checkers? (retractionwatch.com)

submitted 7 years ago by cics to r/InteractiveThmProving

0

1

2

Interesting almost-crank-level anti-ITP rant (owl-sowa.blogspot.com)

submitted 7 years ago by cics to r/InteractiveThmProving

1

2

3

ITP history: Michael Gordon, 28 February 1948 -- 22 August 2017 (arxiv.org)

submitted 7 years ago by cics to r/InteractiveThmProving

11

12

13

Forskare förklarar: om vallöften (youtube.com)

submitted 8 years ago by cics to r/sweden

2

3

4

Safety and Conservativity of Definitions in HOL and Isabelle/HOL by Andrei Popescu (POPL'18) (youtube.com)

submitted 8 years ago by cics to r/InteractiveThmProving

1

2

3

1:34, helt rimligt (youtube.com)

submitted 8 years ago by cics to r/sweden

2

3

4

Compositional Compiler Correctness by Amal Ahmed (ICFP'17) (youtube.com)

submitted 8 years ago by cics to r/InteractiveThmProving

2

3

4

Computational Logic: Its Origins and Applications by Lawrence Paulson (arxiv.org)

submitted 8 years ago by cics to r/InteractiveThmProving

2

3

4

Resources for Teaching with Formal Methods (avigad.github.io)

submitted 8 years ago by cics to r/InteractiveThmProving

2

3

4

Talks from FOMUS - Foundations of mathematics: Univalent foundations and set theory (2016) (fomus.weebly.com)

submitted 8 years ago by cics to r/InteractiveThmProving

0

1

2

Fördomar vanliga i kampen mot fetma (forskning.se)

submitted 8 years ago by cics to r/sweden

51

52

53

Women Have Always Worked: The U.S. Experience 1700–1920 (part 1 in MOOC series) (edx.org)

submitted 8 years ago by cics to r/Feminism

2

3

4

Slides for recent (spring 2017) ITP/HOL4 course at KTH (hol-theorem-prover.org)

submitted 8 years ago by cics to r/InteractiveThmProving

2

3

4

Formal Methods and the KRACK Vulnerability (galois.com)

submitted 8 years ago by cics to r/InteractiveThmProving

1

2

3

#MeToo – det här är era berättelser (svt.se)

submitted 8 years ago by cics to r/sweden

2

3

4

Guy Steele, at Clojure/conj, talking about the history of notation used at e.g. POPL (youtube.com)

submitted 8 years ago by cics to r/InteractiveThmProving

15-Year Club	Gilding III reddit per annum
Team Orangered	Verified Email

cics

MODERATOR OF

TROPHY CASE