GitHub - MachineDragon/machinedragon: Coq project IDE CS420 Theory of Computations

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
Basics.v		Basics.v
bits.py		bits.py
bmi.py		bmi.py
day_of_week.py		day_of_week.py
fix_corrupted.py		fix_corrupted.py
great_circle.py		great_circle.py
guitar_sound_synthesis.py		guitar_sound_synthesis.py
guitar_string.py		guitar_string.py
markov_model.py		markov_model.py
mercator.py		mercator.py
order_check.py		order_check.py
palindrome.py		palindrome.py
polar.py		polar.py
power.py		power.py
random_int.py		random_int.py
reverse.py		reverse.py
ring_buffer.py		ring_buffer.py
sum_of_ints.py		sum_of_ints.py
text_generator.py		text_generator.py
three_dice.py		three_dice.py
three_sort.py		three_sort.py
wind_chill.py		wind_chill.py