StevenXClontz’s avatarStevenXClontz’s Twitter Archive—№ 4,915

  1. …in reply to @mathemactivist
    @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.