2026-08-19 03:00 UTC
@tao@mathstodon.xyz why does "formalization.yaml" say it's specifically for "autoformalization" projects? is it unsuitable for other types of mechanization?
Replies (1)
-
@tao@mathstodon.xyz 2026-08-19 03:04
@chrisamaphone@hci.social autoformalization is the main use case, but the format is flexible and can be used to disclose any other sort of automation used (or no automation at all, if that is the case: this would require the "methods" field to be set to "manual").