Def R

Modification history

2023-09-20 04:57

test/nontriviality.lean

chore(test/*): add `test_sorry` axiom in tests to make them less noisy (#6868) …

Modified R View on Github →

2023-05-06 12:10

test/linarith.lean

feat: enable cancel_denoms preprocessor in linarith (#3801) …

Deleted R View on Github →

2023-04-29 10:38

test/linarith.lean

feat: allow several tactics on types that are slightly less obviously Types (#3682) …

Added R View on Github →