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.
affeldt-aist
Follow
affeldt-aist
Follow
Achievements
Achievements
Highlights
- Pro
Popular repositories
911 contributions in the last year
Less
More
Activity overview
Contributed to
math-comp/analysis,
affeldt-aist/monae,
affeldt-aist/infotheo
and 5 other
repositories
Contribution activity
January 2022
Created 19 commits in 5 repositories
Created a pull request in coq/opam-coq-archive that received 4 comments
Opened 12 other pull requests in 5 repositories
math-comp/analysis
7
merged
1
open
math-comp/math-comp
1
open
ieva-itu/robustmean
1
merged
affeldt-aist/monae
1
merged
coq/opam-coq-archive
1
merged
Reviewed 2 pull requests in 1 repository
math-comp/analysis
2 pull requests
Created an issue in math-comp/analysis that received 4 comments
Address comment about classical quantifiers in boolp.v
analysis/theories/boolp.v Lines 696 to 770 in abf1b1c Should we uncomment and use?
4
comments