display_name: Proof Assistants
description: Feed for discussion of proof assistants and development of new ones!
additional_fields: {"skyfeedBuilder":{"blocks":[{"id":"aaakgblqsmrw6","type":"input","inputType":"firehose","firehoseSeconds":604800},{"id":"aaakgblqspq2i","type":"remove","value":"reply","subject":"item"},{"id":"aaakgblqsmblo","type":"regex","value":"#proofassistants","target":"text|alt_text|link","caseSensitive":false},{"id":"aaakgblqsnoeg","type":"sort","sortType":"created_at"}],"license":"MIT","displayName":"Proof Assistants"}}