Highlights
- Arctic Code Vault Contributor
Pinned
2,782 contributions in the last year
Less
More
Activity overview
Contribution activity
April 2021
Created 63 commits in 10 repositories
Created 3 repositories
- Julian/ec Slash
- Julian/lean4 Lean
- Julian/mathlib4_experiments Lean
Created a pull request in leanprover/lean4 that received 2 comments
Use pkg-config to find libgmp when building
When building on macOS (Big Sur 11.2 on an M1 MacBook Air with libgmp installed via Homebrew) I have to manually specify 2 things at the minute -- …
+5
−5
•
2
comments
Opened 1 other pull request in 1 repository
ellisk42/ec
1
open
Reviewed 2 pull requests in 2 repositories
leanprover-community/lean-client-python 1 pull request
json-schema-org/JSON-Schema-Test-Suite 1 pull request
Created an issue in neovim/neovim that received 2 comments
Add vim.api.nvim_split_win
Hello. Perhaps this is already planned, but I couldn't find it. Obviously feel free to close if it the request exists.
We have vim.api.nvim_open_win,…
2
comments