6.8.3 Can you answer these questions?

6.8.3.1 Natural deduction with FindEquationalProof

https://mathematica.stackexchange.com/landing/r/digest?cta=question&id=222577

Out of curiosity, I'm trying to implement a natural deduction prover in Mathematica using FindEquationalProof. So far, I've implemented a few of the easier rules: 
 
axioms = { 
ForAll[{A, B},  ... 
[logic] [theorem-proving]
 

asked by imas145 https://mathematica.stackexchange.com/landing/r/digest?cta=user&id=61387 1 vote

6.8.3.2 NDSolve very slow

https://mathematica.stackexchange.com/landing/r/digest?cta=question&id=222571

I am trying to run this code to get the output from NDSolve for 4 dynamical equations. However, I have two issues: 
 
(1) It is taking a very long time (can reach several hours for a given instance)  ... 
[differential-equations] [equation-solving]
 

asked by user135626 https://mathematica.stackexchange.com/landing/r/digest?cta=user&id=19550 2 votes

6.8.3.3 Change Font and Size of Print[] output

https://mathematica.stackexchange.com/landing/r/digest?cta=question&id=222504

I managed to create a definition for the "Print" style, following the instructions here. However, the result does not work in my v.12.1. On the plus side, a "Print" entry exists at the bottom of the  ... 
[output-formatting] [stylesheet]
 

asked by Nicholas G https://mathematica.stackexchange.com/landing/r/digest?cta=user&id=43662 1 vote