hyperpolymath/tangle

main

tangle

Grade	Name	Churn	Issues
A	setup.sh	1	-
A	scripts\check-rsr-instantiation.sh	2	-
A	scripts\check-corpus.sh	8	-
A	proofs\check-tg3-differential.sh	1	-
A	proofs\bootstrap-lean.sh	2	-
A	playground\public\index.html	1	-
A	conformance\run_conformance.sh	3	-
A	.gitlab-ci.yml	3	-
A	.github\workflows\secret-scanner.yml	6	-
A	.github\workflows\scorecard.yml	9	-
A	.github\workflows\pages.yml	3	-
A	.github\workflows\ocaml-ci.yml	3	-
A	.github\workflows\mirror.yml	3	-
A	.github\workflows\lean-proofs.yml	7	-
A	.github\workflows\instant-sync.yml	2	-
A	.github\workflows\hypatia-scan.yml	9	-
A	.github\workflows\governance.yml	9	-
A	.github\workflows\dogfood-gate.yml	8	-
A	.github\workflows\dependabot-automerge.yml	2	-
A	.github\workflows\codeql.yml	13	-