shnarazk learn Discussions
Pinned Discussions
Discussions
-
You must be logged in to vote 命題証明中にローカル定数を導入する
LeanProgramming Language and Theorem Prover -
You must be logged in to vote Sequoia 15.1がまたまた
Nixnix store gcでエラーを吐く件About NixOS, Nix, nixpkgs -
You must be logged in to vote vscodium が
Nixnix store gcを拒否する問題About NixOS, Nix, nixpkgs LeanProgramming Language and Theorem Prover MacOSAbout MacOS, Darwin -
You must be logged in to vote 何を言っているのか全然わからないexample (解決)
LeanProgramming Language and Theorem Prover -
You must be logged in to vote
Leanbyで無名命題を生成するProgramming Language and Theorem Prover -
You must be logged in to vote Situations to tactics
LeanProgramming Language and Theorem Prover Mathematics in LeanAbout 'Mathematics in Lean' -
You must be logged in to vote -
You must be logged in to vote axiom of choose: 面白い
LeanProgramming Language and Theorem Prover -
You must be logged in to vote CommonKnowledge.lean (todo)
LeanProgramming Language and Theorem Prover -
You must be logged in to vote -
You must be logged in to vote Failed to build VScodium #nixpkgs
NixAbout NixOS, Nix, nixpkgs LeanProgramming Language and Theorem Prover -
You must be logged in to vote Failed to unification due to inequality of types used in a prop
LeanProgramming Language and Theorem Prover Mathematics in LeanAbout 'Mathematics in Lean' -
You must be logged in to vote Contradiction
LeanProgramming Language and Theorem Prover Mathematics in LeanAbout 'Mathematics in Lean'
