Related Issues (20)
- omega regression in v4.11.0-rc1
- `lean` crash with SIGABRT HOT 2
- `--threads=0` leads to an assertion violation
- decreasing_by goals leak wf implementation details HOT 1
- RFC: swap the order of the arguments to `Membership.mem` HOT 10
- Inconsistent sorting in `Name.cmp` HOT 3
- PANIC with `Nat.reducePow` and exponentiation in variable
- Unification of universe levels in ill-formed terms has strange error behaviour HOT 1
- Go to definition on import doesn't work on last module name
- `TransGen r` is missing transitivity theorem HOT 1
- Goto definition failing with multiple libraries
- Application type mismatch with _nested argument HOT 2
- RFC: make `Lean.Meta.setInlineAttribute` a `CoreM Unit`
- Incorrect metadata on pretty-printed signature of `String.append` HOT 2
- Question: How does the Lean LSP server determine whether a file is open? HOT 1
- PANIC at Lean.Expr.appFn! in Fin.isValue, in the presence of metadata
- PANIC at Lean.MVarId.falseOrByContra Lean.Elab.Tactic.FalseOrByContra:55:22: expected one subgoal
- PANIC at Lean.MVarId.falseOrByContra Lean.Elab.Tactic.FalseOrByContra:58:44: expected one sugoal [sic]
- RFC: Exclude `.lake` directory from backups with `CACHEDIR.TAG`
- Lemmas about `private` defs are not `private` by default HOT 2
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from lean4.