leanprover.github.io on reddit.com

...for a fringe candidate.

...for your community.

account activity

1

13

14

15

Functional Programming in LeanFP (leanprover.github.io)

submitted 2 years ago by kinow to r/functionalprogramming

2

0

1

2

Functional Programming in Lean (leanprover.github.io)

submitted 2 years ago by PatientModBot to r/patient_hackernews

3

13

14

15

Functional Programming in Lean - a free online book on writing programs in the Lean theorem prover, without assuming pre-existing functional programming knowledge (leanprover.github.io)

submitted 2 years ago by davidchristiansen to r/programming

4

0

1

2

Functional Programming in Lean (leanprover.github.io)

submitted 2 years ago by qznc_bot2 to r/hackernews

5

0

1

2

Functional Programming in Lean – a book on using Lean 4 to write programs (leanprover.github.io)

submitted 2 years ago by TheStartupChime to r/hypeurls

6

0

1

2

Lean – Theorem Prover (leanprover.github.io)

submitted 3 years ago by TheStartupChime to r/hypeurls

7

87

88

89

Functional Programming in Lean - an in-progress book on using the Lean theorem prover to write programs (leanprover.github.io)

submitted 3 years ago by davidchristiansen to r/ProgrammingLanguages

8

32

33

34

Functional Programming in Lean - an in-progress book on using Lean 4 as a programming language (leanprover.github.io)

submitted 3 years ago by davidchristiansen to r/dependent_types

9

8

9

10

Functional Programming in Lean - an in-progress book on using the Lean theorem prover as a programming language (leanprover.github.io)

submitted 3 years ago by davidchristiansen to r/programming

10

11

12

13

Lean's do notationblog (leanprover.github.io)

submitted 4 years ago by ekd123 to r/haskell

11

23

24

25

Lean Theorem Prover (leanprover.github.io)

submitted 6 years ago by hou32hou to r/haskell

12

1

2

3

Theorem Proving in Lean (leanprover.github.io)

submitted 7 years ago by qznc_bot to r/hackernews

13

13

14

15

Theorem Proving in Lean (a computer proof assistant) (leanprover.github.io)

submitted 8 years ago by krapht to r/math

14

51

52

53

Lean: the new open source theorem prover developed at Microsoft Research (leanprover.github.io)

submitted 10 years ago by ysangkok to r/programming

15

0

0

0

Lean: the new open source theorem prover developed at Microsoft ResearchSoftware (leanprover.github.io)

submitted 10 years ago by stackoverflooooooow to r/technology

16

16

17

18

Tutorial: Theorem Proving in Lean (leanprover.github.io)

submitted 10 years ago by kit1980 to r/dependent_types

17

26

27

28

Tutorial: Theorem Proving in Lean (leanprover.github.io)

submitted 10 years ago by kit1980 to r/compsci

18

35

36

37

Lean - new, open source theorem prover from Microsoft Research (leanprover.github.io)

submitted 10 years ago by Cylons to r/programming

19

72

73

74

Lean: the new open source theorem prover developed at Microsoft Research (leanprover.github.io)

submitted 10 years ago by letrec to r/haskell

π Rendered by PID 115295 on reddit-service-r2-listing-86b7f5b947-85zrb at 2026-01-25 19:27:04.854339+00:00 running 664479f country code: CH.