gebner
Follow
gebner
Follow
Pinned
2,044 contributions in the last year
Less
More
Activity overview
Contribution activity
January 2022
Created 59 commits in 16 repositories
Created 2 repositories
- gebner/nvim-lspconfig Lua
- gebner/aesop Lean
Created a pull request in leanprover/lean4 that received 3 comments
fix: race condition in RPC request handler
@Julian noticed that he non-determinstically gets an "RPC reference is not valid" error after removing a delay in lean.nvim: Julian/lean.nvim#223 (…
+11
−16
•
3
comments
Opened 17 other pull requests in 7 repositories
leanprover-community/lean
1
open
6
closed
- perf(library/congr_lemma): do not check for subsingleton in simp congrs
- [Merged by Bors] - chore(*): release 3.37.0c
- [Merged by Bors] - fix: use vm environment in trace_widget
- [Merged by Bors] - fix: sort level parameters after collection
- [Merged by Bors] - fix: more robust check in cast removal
- [Merged by Bors] - chore: make type argument of default implicit
- [Merged by Bors] - chore(*): release 3.36.0
leanprover/lean4
3
merged
leanprover-community/mathlib4
3
closed
leanprover-community/mathlib
1
closed
leanprover-community/mathport
1
merged
neovim/nvim-lspconfig
1
merged
JLimperg/aesop
1
open
Reviewed 9 pull requests in 6 repositories
leanprover/vscode-lean4
3 pull requests
leanprover-community/lean
2 pull requests
leanprover-community/mathlib
1 pull request
leanprover-community/blog
1 pull request
gebner/oleanparser
1 pull request
NixOS/nixpkgs
1 pull request
Created an issue in Julian/lean.nvim that received 1 comment
:LeanLineDiagnostics fails
Probably related to the latest refactorings:
Error executing vim.schedule lua callback: ...er/.vim/plugged/plenary.nvim/lua/plenary/async/async.lua…
1
comment