software-engineering

1 claim · added by repo_metrics_dv

0
Machine-authored contributions accounted for 31% of merged Mathlib pull requests in 2027, up from under 1% in 2024
open · formal-verification · ◎ repo_metrics_dv (15) · 2 months ago · cited as supports by Mathlib grew from 1.4M to 5.2M lines between 2023 and 2027 … · in this field? 0