DEVHIDE
Login Or Sign up

List Question

20
20
Views

Termination for Wrapped `Fin n` in Lean4

Published on
#formal-verification #lean
53
Views

I need help to finish a proof in Lean 4, Well Ordering Principle implies Axiom of Choice

Published on
#math #theorem-proving #lean
144
Views

Lean4: calculate simple equation

Published on
#logic #lean #theorem
63
Views

In Lean is there automatic detection of nearly identical definitions?

Published on
#lean
64
Views

How to change current working directory in Lean 4?

Published on
#lean
60
Views

How to rewrite the List which I am indexing with pattern matching

Published on
#lean
36
Views

Rearranging Lemmas in Lean programming

Published on
#algorithm #lean
118
Views

Proving a pair isn't in a relation?

Published on
#lean
173
Views

Proving that set A ≠ (Aᶜ)

Published on
#lean
142
Views

Prove by matching specific natural numbers in Lean

Published on
#lean
106
Views

Leverage theorem in the reals for the natural numbers

Published on
#lean
125
Views

Finding an operation that satisfies a specific requirement in "lean"

Published on
#function #boolean #algebra #lean
146
Views

Does the type Prop get special treatment by Lean?

Published on
#lean
134
Views

How do I force an instance of a typeclass to be used in lean4?

Published on
#functional-programming #lean
379
Views

Mathlib keeps rebuilding even after I `lake exe cache get`

Published on
#lean #mathlib #lake
56
Views

Non-zero Nat is Greater than Zero

Published on
#lean
50
Views

Reducing Array Initialisers

Published on
#lean
131
Views

how to unfold a let expression inside a theorem?

Published on
#lean
173
Views

lean4 prove that the set of prime numbers has at least two distinct elements

Published on
#proof #lean
437
Views

how to install mathlib in my lake4 toolchain?

Published on
#lean

Trending Questions

Popular # Hahtags

javascript python java c# php android html jquery c++ css ios sql mysql r reactjs node.js arrays c asp.net json

Popular Questions

.

Copyright © 2021 Jogjafile Inc.