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