4 Commits

Author	SHA1	Message	Date
lcnr	15ae59ba03	use global cache when computing proof trees	2023-11-02 10:41:27 +01:00
lcnr	8167a25e4e	w	2023-09-21 08:44:12 +02:00
lcnr	8e139eefaf	slight refactor, add comment	2023-09-21 08:40:36 +02:00
lcnr	de53877f8b	proof trees: use for intercrate_ambiguity_causes	2023-09-21 08:17:58 +02:00