April 23 NashFP meeting

[Jason Orendorff]

Well, it's happened again, the next NashFP meeting has stuck up on us and is happening this coming Tuesday, the 23rd.

Please reply with topics to discuss or anything you'd like to present.

I'll present the toy SQL implementation in Elixir that we looked at briefly last month.

-j

[Mark Wutka]

I found this sort of game for doing proofs using natural deduction, which might be useful if you are getting into type theory. I thought maybe I could quickly show what natural deduction is and show how the game works.

  Mark

--
You received this message because you are subscribed to the Google Groups "Nashville Functional Programmers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to nashfp+un...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/nashfp/CAPh8%2BZrY%2BxfSwKW6ZfmzvytmL9dX%3DBFUQGyWNHkzpRVpgVREGQ%40mail.gmail.com.

[Bryan Hunter]

Here is the Zoom link for folks joining remotely: 

https://us02web.zoom.us/j/86781527817?pwd=TkxUREdQZ0k3QTNUYjNrQ2F2b0tMUT09

Meeting ID: 867 8152 7817

Passcode: 444951

On Apr 22, 2024, at 06:23, Mark Wutka <ma...@wutka.com> wrote:



To view this discussion on the web visit https://groups.google.com/d/msgid/nashfp/CA%2BvyaX0qtn5vhucV0DLfC21_akUfgzk58ap%3DNgp7t5b%2BdJQLFQ%40mail.gmail.com.

[Jason Orendorff]

Thanks for a great meeting everyone! Links from the video chat below.

Logic:

  https://xr0.dev/safer
  https://leanprover.github.io/logic_and_proof/natural_deduction_for_propositional_logic.html

  https://incredible.pm/

Proof systems for C:

  https://frama-c.com

  https://github.com/viperproject/prusti-dev

 
 NashFP RDBMS playground:
  https://github.com/NashFP/rdbms/

To view this discussion on the web visit https://groups.google.com/d/msgid/nashfp/DF9FB9A4-BCBD-4109-8C56-C06D4346B9BF%40hunterkinetics.com.