Name: Blake Farman
Type: User
Company: University of Louisiana at Monroe
Bio: I am an Assistant Professor of Mathematics at the University of Louisiana Monroe. I received my Ph.D. from the University of South Carolina on May 12, 2018.
Location: Monroe, LA
Blog: https://ulm.edu/~farman
Blake Farman's Projects
Notes on college algebra
A little perl script to help generate latex-based exams for mastery based grading.
Automatically exported from code.google.com/p/farmanb-school
A beautiful, simple, clean, and responsive Jekyll theme for academics
Lean for the Curious Mathematician 2020
Template repository for math 2040 assignments
Solutions to exercises in Theorem Proving in Lean 4.