Formed in 2009, the Archive Team (not to be confused with the archive.org Archive-It Team) is a rogue archivist collective dedicated to saving copies of rapidly dying or deleted websites for the sake of history and digital heritage. The group is 100% composed of volunteers and interested parties, and has expanded into a large amount of related projects for saving online and digital history.
Vtec234
Follow
Vtec234
Follow
Highlights
- Pro
Pinned
573 contributions in the last year
Contribution activity
June 2022
Created 15 commits in 5 repositories
Created 2 repositories
- Vtec234/lean-crypto Roff
- Vtec234/lean-smt Lean
Created a pull request in leanprover-community/mathlib4 that received 2 comments
[Merged by Bors] - chore: save file map, too
@gebner you beat me to the version bump :) I was also including this change.
+2
−1
•
2
comments
Opened 9 other pull requests in 4 repositories
leanprover/lean4
1
open
2
merged
ufmg-smite/lean-smt
3
merged
joehendrix/lean-crypto
1
open
1
merged
leanprover/vscode-lean4
1
merged
Reviewed 10 pull requests in 3 repositories
ufmg-smite/lean-smt
4 pull requests
leanprover/lean4
4 pull requests
leanprover/vscode-lean4
2 pull requests
Created an issue in leanprover/lake that received 2 comments
Errors in lake serve are printed on stdout
When lake serve encounters errors lakefile.lean, it prints them out on stdout rather than stderr. For example
nawrocki@gentzen:~/npm-widget$ lake s…
2
comments