Refactor backward explanations into shared structured model 8565ab7 Simon Clematide commited on 13 days ago
