2015-2016: Aaron Perl
2017: Ben Shaw Joel Bassett Sarah Mogielnicki
2018: Alex Mcnair
2019: Shashank Sundar Jonathan Cheng
A formal proof interface for creating truth trees
hikir1/TFTrees
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|