-
@mathemactivist @matthematician I used jiblm.org/downloads/dlitem.php?id=106&category=jiblmjournal a year ago — it was serviceable but I wasn't enamored. Full IBL while also learning proofs is a steep hill I think. Would love to hear from someone who had success with it though.