Projects in Awesome Lists tagged with problem-solving-class
A curated list of projects in awesome lists tagged with problem-solving-class .
https://github.com/courses-at-nju-by-hfwei/problem-solving-class-coq
Rock on Coq for the Problem Solving Class at Nanjing University
classes coq formal-methods nanjing-university problem-solving-class proof-assistant theorem-proving tutorial
Last synced: 01 May 2025
https://github.com/courses-at-nju-by-hfwei/problem-solving-class-tutorial
Tutorial on the Problem Solving Class at Nanjing University
nanjing-university problem-solving-class tutorial
Last synced: 28 Feb 2025
https://github.com/courses-at-nju-by-hfwei/problem-solving-class-paperswelove
Papers We Love at the Problem Solving Class
nju-cs papers-we-love problem-solving-class
Last synced: 28 Feb 2025
https://github.com/hengxin/algorithms-pseudocode
Collection of Algorithm Pseudocode
algorithms problem-solving-class pseudocode
Last synced: 25 Feb 2025
https://github.com/courses-at-nju-by-hfwei/problem-solving-class-problem-solution
Problem Solution for the Problem Solving Class at Nanjing University
nanjing-university problem-set problem-solution problem-solving-class
Last synced: 28 Feb 2025
https://github.com/courses-at-nju-by-hfwei/problem-solving-treasure-hunt
The after-class "Treasure Hunting" section in the Problem Solving Class at Nanjing University
nanjing-university problem-solving-class treasure-hunt
Last synced: 28 Feb 2025