butterfill / love-logic-server

0 stars 1 forks source link

link to guides for specific types of exercise from each type of exercise #7

Open butterfill opened 8 years ago

butterfill commented 8 years ago

The guides provide generic help by exercise type (e.g. how to write proofs).