Vijay Janapa Reddi 245e27912d Clean up documentation formatting ...

- Remove bold formatting from all markdown headers
- Remove 'NEW:' tags from README to keep it clean
- Maintain professional academic appearance

2025-09-18 13:36:06 -04:00

..

classroom-use.md

Clean up documentation formatting

2025-09-18 13:36:06 -04:00

quick-exploration.md

Clean up documentation formatting

2025-09-18 13:36:06 -04:00

serious-development.md

Clean up documentation formatting

2025-09-18 13:36:06 -04:00