2.26.3 Can you answer these questions?

2.26.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},  ...

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

2.26.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) ...

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

2.26.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 ...

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