Aris: a logic engine/formal proof interface; 3nd generation, successor to the Java version of Aris.
GNU General Public License v3.0
10
stars
2
forks
source link
Updated fn_params_layout, fixed formatting errors #134
Closed
zacharybonagura closed 3 weeks ago
Updated fn_params_layout from deprecated fn_args_layout, fixed formatting errors in fn render_rules_menu in mod.rs