 verbose
verbose
Natural language tactics to teach mathematics using Lean 4
1-6 of 6 versions of verbose
Sort by
Date
- e1b2e21v4.22.0v4.22.0
- 39a6a6cv4.21.0v4.21.0
- c978de7v4.20.0v4.20.0
- c978de7v4.20.0v4.20.0
- 331466fv4.19.0v4.19.0
- 17b9143v4.18.0v4.18.0