go

Trace tauto, finish.

英文: Trace tauto, finish 问题 有办法在Lean中追踪tauto、finish策略(或其他不适用于simp的策略)吗? 例如: example (P Q : Prop) : a ...
go

5个素数的和等于500。

英文: sum of 5 prime numbers equal to 500 问题 我需要创建一个计算所有相加为500的5个质数组合的算法。应该有4088种组合,但我的代码只生成了3933种组合,当...