After receiving responses from this question as a Liberal Artist I'm interesting in other Proof Assistant appliances, beyond Mathematics and Software Verification. I was wondering: how one can use proof assistants in roles that don't imply mathematics directly but only after some level of rigour and subtle observation at nessesary scale but different from Math top-level domain.

What I'm looking could be:

• Philosophy;
• Music;
• Chemistry;
• Physics;
• Biology;
• Natural Language Processing;
• Poetry;

etc.

After receiving responses from this question as a Liberal Artist I'm interesting in other Proof Assistant appliances, beyond Mathematics and Software Verification. I was wondering: how one can use proof assistants in roles that don't imply mathematics directly but only after some level of rigour and subtle observation at necessary scale but different from Math top-level domain.

What I'm looking for could be:

• Philosophy
• Music
• Chemistry
• Physics
• Biology
• Natural Language Processing
• Poetry
• etc...

After receiving responses from this question as a Liberal Artist I'm interesting in other Proof Assistant appliances, beyond Mathematics and Software Verification. I was wondering: how one can use proof assistants in roles that don't imply mathematics directly but only after some level of rigour and subtle observation at nessesary scale but different from Math domain.

What I'm looking could be:

• Philosophy;
• Music;
• Chemistry;
• Physics;
• Biology;
• Natural Language Processing;

etc.

After receiving responses from this question as a Liberal Artist I'm interesting in other Proof Assistant appliances, beyond Mathematics and Software Verification. I was wondering: how one can use proof assistants in roles that don't imply mathematics directly but only after some level of rigour and subtle observation at nessesary scale but different from Math top-level domain.

What I'm looking could be:

• Philosophy;
• Music;
• Chemistry;
• Physics;
• Biology;
• Natural Language Processing;
• Poetry;

etc.